parallel reduction

parallel reduction

A form of applicative order reduction in which all redexesin an expression are reduced simultaneously. Variants includeparallel outermost reduction and lenient reduction. Seenormal order reduction.