Show that the term ZZ where Z is λz.λx. x(z z x) satisfies the requirement for fixed point combinators that ZZM =β M(ZZM).
Proving a combinator is a fixed point
1
$\begingroup$
lambda-calculus
combinatory-logic
-
2@Jack: What are your thoughts so far? – 2010-11-23
-
0Honestly, i'm pretty lost. I'm not too clear with Beta reductions to begin with, and this problem just seems to be way over my head. – 2010-11-23