lambda calculus
English
AI In plain words
Writing a short explanation…
Written by a house AI from the entry below, in your language. The entry itself is the source.
lambda calculus
Where it comes from
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
noun lambda calculi
- 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. 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 hardwar
Translations
Every language
noun algebraic system
| 日本語 | λ計算, ラムダ計算 ramuda keisan |
|---|---|
| Deutsch | Lambda-Kalkül |
| Italiano | calcolo lambda |
| Ελληνικά | λογισμός λάμδα logismós lámda |
| Română | calcul lambda |
| Русский | лямбда-исчисление ljambda-isčislenije |
Talk about this word "lambda calculus." Wiktionary, via Micwyn, micwyn.com/word/lambda%20calculus. Accessed 6 Nov. 2026. lambda calculus. (n.d.). In Wiktionary, via Micwyn. Retrieved November 6, 2026, from https://micwyn.com/word/lambda%20calculus "lambda calculus." Wiktionary, via Micwyn. Accessed November 6, 2026. https://micwyn.com/word/lambda%20calculus.Cite this
@misc{lambda_calculus_2026,
title = {lambda calculus},
howpublished = {Wiktionary, via Micwyn},
year = {2026},
url = {https://micwyn.com/word/lambda%20calculus},
urldate = {2026-11-06}
}
