A form of applicative order reduction in which all redexes in an expression are reduced simultaneously. Variants include parallel outermost reduction and lenient reduction. See normal order reduction.

In addition suitable contents:
[ = ] [ al ] [ am ] [ an ] [ app ] [ applicative order reduction ] [ ar ] [ arc ] [ at ] [ ca ] [ cat ] [ ch ] [ cl ] [ de ] [ du ] [ ed ] [ edu ] [ ee ] [ er ] [ es ] [ expression ] [ fi ] [ file ] [ fo ] [ for ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ inc ] [ include ] [ io ] [ Lex ] [ li ] [ lt ] [ lu ] [ ly ] [ ma ] [ mo ] [ mod ] [ module ] [ mu ] [ na ] [ nc ] [ ne ] [ ni ] [ no ] [ norm ] [ normal order reduction ] [ pa ] [ ph ] [ pl ] [ pr ] [ query ] [ rc ] [ re ] [ redex ] [ reduction ] [ S ] [ se ] [ si ] [ sl ] [ st ] [ us ] [ V ] [ ve ]