Definitions
Wiktionary
- n. computing theory 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.
Etymologies
- Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus. (Wiktionary)
Examples
Sorry, no example sentences found.
Lists
These user-created lists contain the word ‘lambda calculus’.
-
Programming Jargon
Stuff that comes up all the time at work.
continuation, data structure, node, closure, compiler, funarg problem, garbage collection, pointer, anonymous function, block, currying, first-class function and 63 more...
-
Ovine affairs
clambake, flamboyant, zalambdodont, bramble, marjoram, lambada, lambrequin, clamber, epigram, lambda calculus, zwartbles, pelibüey and 83 more...
Tweets
Looking for tweets for lambda calculus.
sionnach Is this like "the calculus that dare not say its name"? Nov 7, 2008
whichbe The forbidden math. Nov 7, 2008