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
Word origin
C20: from the use of the symbol lambda (λ) to represent the mathematical functions
Examples of 'lambda calculus' in a sentence
lambda calculus
These annotations take the form of terms in the resource lambda-calculus.
Antoine Allioux 2017, 'Krivine Machine and Taylor Expansion in a Non-uniform Setting', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1701.04916v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Programs with control are usually modeled using lambda calculus extended with control operators.
Bram Geron, Herman Geuvers 2013, 'Continuation calculus', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1309.1257v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Instead of modifying lambda calculus, we consider a different model of computation.
Bram Geron, Herman Geuvers 2013, 'Continuation calculus', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1309.1257v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming.
Luminita Pistol, Radu BUCEA-MANEA-TONIS 2016, 'Logical Querying of Relational Databases', Journal of Economic Development, Environment and Peoplehttp://ojs.spiruharet.ro/index.php/jedep/article/view/518. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus).
Xian Xu 2016, 'Higher-order Processes with Parameterization over Names and Processes', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1608.03126v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)