1
$\begingroup$

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).

  • 2
    @Jack: What are your thoughts so far?2010-11-23
  • 0
    Honestly, 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

2 Answers 2