Email this page to a friend

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