Combinatory interpretation of lambda calculus
-
31-10-2019 - |
Question
According to Peter Selinger, The Lambda Calculus is Algebraic (PDF). Early in this article he says:
The combinatory interpretation of the lambda calculus is known to be imperfect, because it does not satisfy the $ξ$-rule: under the interpretation, $M = N$ does not imply $\lambda x.M = \lambda x.N$ (Barendregt, 1984).
Questions:
- What kind of equivalence is meant here?
- Given this definition of equivalence, what is a counter-example of the implication?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange