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
|
