Lambda calculus
This is an old revision of this page, as edited by Elkman (talk | contribs) at 21:15, January 14, 2008. It may differ significantly from current revision.
Lambda calculus is a type-theory where formulae have an ordinal-valued type. Formulae are built up using Lambda λ abstraction and application. Lambda calculus is used by computer programmers to avoid paradoxes.