meaning of maximal free expression
1. 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. maximin minimax MAXIMOP "Job Control Languages: MAXIMOP and CAFE", J. Brandon, Proc BCS Symp on Job Control Languages--Past Present and Future, NCC, Manchester, ENgland 1974. maximum Maytag mode