DISQUS

Community Page on DISQUS

what is this?

Jump to original thread »
Author

Oh, wherefore art Y...

Started by jhannes · 2 months ago

One of the most profound ideas in lambda calculus, is the Y-operator.
I’ve learned the Y-operator at least three times, and every time, I found
it extremely hard to understand. This blog is therefore an example of a
quixotic undertaking: I want to see whether it is possi ... Continue reading »

1 comment

  • Wow! This introduction to Y-operator is really good!
    Before, I could only understand the theory, the Y-operator in pure Lambda Calculus but not the implementation in Lisp... After reading this article, I can understand it finally!(yeah)
    Thank you very much! :D

    My next target is to sort out the Turing Y-operator in Lisp... haha

Add New Comment

Returning? Login