You are here: irt.org | FOLDOC | pure lambda-calculus
Lambda-calculus with no constants, only functions expressed as lambda abstractions.
(1994-10-27)
Nearby terms: Purdue Compiler-Construction Tool Set « Purdue University « pure functional language « pure lambda-calculus » PureLink » Pure Lisp » purely functional language
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