Wikipedia: History of Lambda calculus/Talk

Difference (from prior major revision) (no other diffs)

Added: 13a14,15

Maybe there should be a note that this is the untyped lambda calculus, and that there are also several typed lambda calculi.

	Revision 3 . . December 1, 2001 8:37 am by Cwitty
	Revision 2 . . December 1, 2001 4:48 am by (logged).168.79.xxx
	Revision 1 . . October 19, 2001 4:33 am by EdwardOConnor