lambda calculus

(redirected from Lambda abstraction)
Also found in: Encyclopedia.

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 ?
Those are a) lambda abstraction specification (Jurafsky 1996), b) metaphor (Taylor 2003) (7) and c) pluractionality (Tovena 2011).
Jurafsky (1996) radial category model of diminutives is based on four kinds of semantic shifts from the central meaning 'small'--metaphor, conventionalization of inference, generalization and lambda abstraction specification.
Remembering the general format of lambda abstraction reduction is [lambda]yFy[a] = Fa, the trouble with the Paradox of Predication,
Should the costs of evaluating the calls to f and there could be many such calls be attributed to cc3 or to the cost centers enclosing the places where the lambda abstraction is applied?