lambda calculus
lambda calculus · lambda calculi
лямбда-исчисление
Lambda-Kalkül
Any of a family of functionally complete algebraic systems in which lambda expressions…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.
Meaning
1 senses(countable, uncountable)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.
Lambda-Kalkül
лямбда-исчислениеljambda-isčislenije
Translations
4 languagesРусский
By meaning 1
algebraic system:
Deutsch
By meaning 1
algebraic system:
Origin
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstractCoined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Wiktionary, CC BY-SA 4.0 · source
Forms
plural: lambda calculi| Singular | lambda calculus |
|---|---|
| Plural | lambda calculi |
irregular · Lesson
Word family
7 related wordsLessons for this word
2 lessons- A1Plural nouns — Because its plural is irregular
- A1Countable and uncountable nouns — Because it can be uncountable