The Y-combinator

There is a question, how do we have a recursive function expressed using lambda calculus expression.

閱讀全文