Combinatory interpretation of lambda calculus

cs.stackexchange https://cs.stackexchange.com/questions/28648

문제

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?

올바른 솔루션이 없습니다

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 cs.stackexchange
scroll top