History of Y combinator

Difference (from prior major revision) (author diff)

Changed: 1c1

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.

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.

	Revision 6 . . November 7, 2001 1:14 pm by AxelBoldt [I think it was invented by Kleene. Explanation fits better on the [[lambda calculus]] page]
	Revision 5 . . November 7, 2001 1:14 pm by AxelBoldt [I think it was invented by Kleene. Explanation fits better on the [[lambda calculus]] page]
	Revision 4 . . November 7, 2001 8:39 am by (logged).128.137.xxx
	Revision 3 . . November 7, 2001 5:01 am by AxelBoldt
	Revision 2 . . (edit) October 16, 2001 5:41 am by EdwardOConnor
	Revision 1 . . October 16, 2001 5:40 am by EdwardOConnor