MFE

from The Free On-line Dictionary of Computing (8 July 2008)

maximal free expression
MFE

   (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}.