Y combinator

HomePage | Recent changes | View source | Discuss this page | Page history | Log in |

Printable version | Disclaimers | Privacy policy

The Y combinator or Y constructor is a formula in lambda calculus which allows the definition of recursive functions in that formalism. See the article about lambda calculus for a detailed explanation.