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)
版權所有 © 2024 3Dict.net