## Definitions

### from Wiktionary, Creative Commons Attribution/Share-Alike License.

- noun
*computing theory*Any of a family offunctionally complete algebraic systems in whichlambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

## Etymologies

### from Wiktionary, Creative Commons Attribution/Share-Alike License

Coined by Alonzo Church after the use of the Greek letter lambda (

*λ*) as the basic*abstraction**operator*in the calculus.## Support

Help support Wordnik (and make this page ad-free) by adopting the word lambda calculus.

## Examples

Sorry, no example sentences found.

whichbe commented on the word lambda calculus

The forbidden math.

November 7, 2008

sionnach commented on the word lambda calculus

Is this like "the calculus that dare not say its name"?

November 7, 2008