lambda calculus


Also found in: Encyclopedia, Wikipedia.

lambda calculus

n
1. (Logic) logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages
2. (Computer Science) logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages
[C20: from the use of the symbol lambda (λ) to represent the mathematical functions]
Translations
lambda kalkul
lambdakalkyyli
lambda račun
Mentioned in ?
References in periodicals archive ?
Many notations from the lambda calculus have been adopted in the EP data model.
The pure lambda calculus is a well-known untyped system.
Thirty-nine papers and four invited talks from the August 2006 symposium report the results of recent research on logics of programs, proof theory, complexity, concurrency, pushdown systems, model theory, temporal logics, lambda calculus, stochastic systems, verification, and approximations.