Lambda calculus
This is an old revision of this page, as edited by Foxtrot (talk | contribs) at 22:57, January 11, 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.