You are here: irt.org | FOLDOC | 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)
Nearby terms: LAMBDA « lambda abstraction « lambda-calculus « lambda expression » lambda lifting » LambdaMOO » Lambda Prolog
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL