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