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

In addition suitable contents:
[ = ] [ abstraction ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ az ] [ b ] [ bd ] [ bo ] [ bound variable ] [ bs ] [ ch ] [ co ] [ con ] [ du ] [ E ] [ ed ] [ ee ] [ er ] [ es ] [ expression ] [ fi ] [ file ] [ fr ] [ free ] [ full laziness ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ lambda abstraction ] [ laziness ] [ Lex ] [ M ] [ ma ] [ MFE ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ng ] [ ni ] [ no ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ S ] [ se ] [ si ] [ st ] [ su ] [ th ] [ tr ] [ va ] [ var ] [ variable ]