Definitions | lambda calculus |
| noun
- (comptheory) 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.
Translations: Etymology: Coined by Alonzo Church after the use of the Greek letter lambda in the calculus.
Supplemental Details:Sponsor an extended definition for lambda calculus for as little as $10 per month. Click here to contact us.
| |
|