
noun:
 any one of a family group of functionally total algebraic methods in which lambda expressions are evaluated relating to a set collection of rules to produce values, which might by themselves be lambda expressions.
Related Sources

Definition for "lambda calculus"
 any one of a family group of functionally…
 View More

Cross Reference for "lambda calculus"
 functionally complete
 View More

Etymologically Related for "lambda calculus"
 lambda
 View More

Technology Dictionary for "lambda calculus"
 Lambda calculus is a type of…
 View More
How would you define lambda calculus?