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 .
PARALLEL REDUCTION
Meaning of PARALLEL REDUCTION in English
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012