lambda calculus

Hierarchy: 
Description: 
{{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.
Ngram Text: 
lambda calculus
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
Ngram Count: 
2