lambda expression
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.
(1995-04-13)