Rosser paradox is an implementation of Richard's paradox in Combinatory logic which is closely related to Lambda Calculus.
Rosser paradox is an implementation of Richard's paradox in Combinatory logic. This implementation of Richard's paradox in Combinatory logic is closely related to Lambda Calculus.