Showing revision 5Difference (from revision 5 to revision 5)
(
minor diff,
author diff)
(The revisions are identical or unavailable.)
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.