lambda calculus

Etymology
Coined by after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.

Noun

 * 1)  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.

Usage notes

 * When referring to lambda calculus, it is often prefixed with the definite article. I.e., both "lambda calculus" (without a definite article) and "the lambda calculus" are commonly used, and mean the same thing.

Translations

 * Armenian:
 * Catalan: càlcul lambda
 * Czech: lambda kalkul
 * Finnish:
 * Georgian:
 * Greek: λογισμός λάμδα
 * Icelandic: lambda-reikningur
 * Italian: calcolo lambda
 * Japanese: λ計算, ラムダ計算
 * Macedonian: ламбда-пресметка
 * Polish: rachunek lambda
 * Romanian: calcul lambda
 * Russian:
 * Serbo-Croatian: lambda račun
 * Swedish: lambdakalkyl