lambda calculus

(redirected from Lamda calculus)
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 ?
Workshops and papers address such issues as fuzzy rule based load balancing models, lamda calculus models, scheduling algorithms, job migration and fault tolerance, automatic and scalable testing tools, adaptive workflow processing, business model analysis of mobile data services, mobile runtime environments, mobile advertising in China, improved efficiency of network topology discovery, scheduling on the critical path, privacy and acceptance of systems, real-time wireless video, credit risk assessment trough set theory and other methods, clustering for network positioning, and energy efficiency.