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