from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun computing theory Any of a family of
functionally completealgebraic systems in which lambda expressionsare evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
from Wiktionary, Creative Commons Attribution/Share-Alike License
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Sorry, no example sentences found.