Fixed-point combinator - Wikipedia, the free encyclopedia

By repeatedly applying this equality we get, Equivalent definition of a fixed-point combinator [edit] This fixed-point combinator may be defined as y in, An expression for y may be derived using rules from the definition of a let expression. Firstly using

en.wikipedia.org