## Definitions

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

- n. 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)
sionnach commented on the word lambda calculus

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

November 7, 2008

whichbe commented on the word lambda calculus

The forbidden math.

November 7, 2008