Fixed-point combinator - Wikipedia, the free encyclopedia

[edit]. Curry's Y combinator may be readily obtained from the definition of y. Starting with,. \lambda f.

en.wikipedia.org