Showing revision 3Difference (from revision 3 to revision 3)
(
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.