Changes

2 bytes removed , 01:57, May 4, 2008

no edit summary

Line 1: Line 1: −

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 [[~~Paradox|paradoxes~~]].

+

'''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 [[paradox]]es.

[[Category:Calculus]]

CSGuy

2,851

edits

Changes

Lambda calculus (view source)

Revision as of 01:57, May 4, 2008