lambda calculus

(redirected from Untyped lambda calculus)
Also found in: Encyclopedia.
Related to Untyped lambda calculus: Alpha conversion

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 ?
PIM consists of the untyped lambda calculus extended with an algebraic data type that characterizes the behavior of lazy stores and generalized conditionals.
PIM is a combination of the untyped lambda calculus and an algebraic data type, [PIM.
Obtaining a left-linear completion is often preferable to a left-nonlinear completion, since -- a left-linear system admits an efficient implementation, without the need for equality tests during matching; -- when a left-linear system is embedded in the untyped lambda calculus (as is necessary to extend PIM to arbitrary source programs), it is straightforward to show that the combined system remains confluent [Muller 1992].