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