[Home]Y combinator

HomePage | Recent Changes | Preferences
Showing revision 3
The Y combinator or Y constructor is a formula in lambda calculus which allows the definition of recursive functions in that formalism.
HomePage | Recent Changes | Preferences
This page is read-only | View other revisions | View current revision
Edited November 7, 2001 5:01 am by AxelBoldt (diff)
Search: