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