You're replying to a comment by Greg Michaelson.

September 17, 2015, 14:26

There's also an account of deriving the Y combinatory in something approximating the untyped lambda calculus in "An Introduction to Functional Programming Through Lambda Calculus" (Addison-Wesley, 1989) in Chapter 4.

Reply To This Comment

(why do I need your e-mail?)

(Your twitter handle, if you have one.)

Type the word "sandbox_197": (just to make sure you're a human)

Please preview the comment before submitting to make sure it's OK.