Y combinator
HomePage
|
Recent Changes
|
Preferences
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.