[Home]Y combinator

HomePage | Recent Changes | Preferences
Difference (from prior major revision) (author diff)

Changed: 1c1
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.
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.
HomePage | Recent Changes | Preferences
This page is read-only | View other revisions
Last edited November 7, 2001 1:14 pm by AxelBoldt (diff)
Search: