lambda calculus

名词 n.
中文释义

英文释义

名词 n.
  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. countable,uncountable
    — In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer hardware, the lambda calculus is more like a simple model of software.

词形变化

lambda calculi plural

词源

Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
0 次浏览 数据来源: Wiktionary