Computing (FOLDOC) dictionary
Jump to user comments
mathematics (Normally written with a Greek letter lambda).
the late 1930s and early 1940s, dealing with the application
contains no constants - neither numbers nor mathematical
functions such as plus - and is untyped. It consists only of
of one function to another. All entities must therefore be
represented as functions. For example, the natural number N
can be represented as the function which applies its first
Church invented lambda-calculus in order to set up a
foundational project restricting mathematics to quantities
Church couldn't see any way to get rid of it, and gave the
project up.
lambda-calculus extended with constants and types.
Lispuses a variant of lambda notation for defining functions but
lambda-calculus.
(1995-04-13)