Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

lambda expression

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

©2018 Martin Webb