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.