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.

style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">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 ]