Lambda Calculus

From GM-RKB
Jump to navigation Jump to search

A Lambda Calculus is a logic calculus similar to first-order logic but that allows the binding of Variables using the lambda operator.



References

2013

2009

  • http://en.wiktionary.org/wiki/lambda_calculus
    • Etymology: Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
    • Noun
      • 1. (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.