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

maximal free expression

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

©2018 Martin Webb