lambda calculus love

lambda calculus


from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. 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.


Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus. (Wiktionary)


Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.