The Y combinator or Y constructor is a formula in lambda calculus which allows the definition of recursive functions in that formalism. See the lambda calculus page for a detailed explanation. |
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. |