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.
parallel processing « parallel processor « parallel
random access machine « parallel reduction »
Parallel Server Option » Parallel SML » Parallel