You are here: irt.org | FOLDOC | maximal free expression
(MFE) A free expression is sub-expression of a lambda abstraction not containing the bound variable. A maximal free expression is a free expression not contained within any other free expression. See full laziness.
Nearby terms: MAU « Mauchly, John W. « mawk « maximal free expression » maximin » MAXIMOP » maximum Maytag mode
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