English
Etymology
Coined by Alonzo Church after the use of the Greek letter lambda in the calculus. rft
Noun
lambda calculus
- comptheory Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
Related terms
calculus
lambda
lambda expression
Translations
trans-top|algebraic system
Croatian: t-|hr|lambda ra�un|m
trans-mid
trans-bottom
See also
combinator
functionally complete
Turing machine
et:lambda calculus
| 