lambda calculus
Word Rarity
Rare
Frequency: Zipf frequency 2.95 in modern English
23
Scrabble Score
14
Letters
5
Syllables
8
Unique Chars
Meaning
noun
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.
Countable; Uncountable
Example Sentences
- "In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer hardware, the lambda calculus is more like a simple model of software."
Etymology
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Usage
Inflected Forms
Phrases
simply typed lambda calculus
typed lambda calculus
lambda abstraction
lambda expression
functionally complete
recursive function
Turing machine