parallel reductionA 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 random-access machine ♦ parallel reduction ♦ Parallel Server Option
Try this search on Wikipedia, Wiktionary, Google, OneLook.