Lambda expression
<mathematics> A term in the lambda-calculus denoting an unnamed function (a "lambda abstraction"), a variable or a constant.
The pure lambda-calculus has only functions and no constants.
| < Previous Terms | Terms Containing lambda expression | Next Terms > |
| lalr.ss Lambada-Calculus LAMBDA lambda abstraction lambda-calculus | Head Normal Form lambda abstraction quine Weak Head Normal Form | lambda lifting LambdaMOO Lambda Prolog lamer LAMINA |
