lambda calculus definition

  • 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

  • Cross Reference for "lambda calculus"
  • Etymologically Related for "lambda calculus"
  • Technology Dictionary for "lambda calculus"
29 votes

How would you define lambda calculus?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!