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