ALL meanings of lambda calculus
lamb·da cal·cu·lus
L l - noun lambda calculus (computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions. 0
- noun lambda calculus 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 0