lambda calculus love

lambda calculus

Definitions

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

  • noun 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

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.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.

  • The forbidden math.

    November 7, 2008

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

    November 7, 2008