lambda calculus

短语

[计] λ演算

发音

lambda calculi 复数 lambda calculi

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.

可数不可数计算机工程数学

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

来源：wiktionary