Wikipedia: History of Lambda calculus

Difference (from prior major revision) (minor diff, author diff)

Added: 2a3,4

This article deals with the "untyped lambda calculus" as originally conceived by Church. Since then, some typed lambda calculi have been developed, which are not (yet) covered here.

Changed: 8c10

: (λ x. λ y. x - y) 7 2 and (λ y. 7 - y) 2 and 7 - 5

: (λ x. λ y. x - y) 7 2 and (λ y. 7 - y) 2 and 7 - 2

	Revision 19 . . (edit) December 15, 2001 12:07 am by Jonas [Changed equivalence from (l x. l y. x-y) 7 2 to end up in 7-2 (instead of 7-5 as it stated previously)]
	Revision 18 . . December 1, 2001 9:33 am by AxelBoldt
	Revision 17 . . (edit) November 5, 2001 11:01 pm by General Wesc [Changed "occurance" to "occurrence"]