DISQUS

DISQUS Hello! Thinking inside a bigger box is using DISQUS, a powerful comment system, to manage its comments. Learn more.

Community Page

Jump to original thread »
Author

Oh, wherefore art Y...

Started by jhannes · 10 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