parallel reduction 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}.
版权所有 © 2024 3Dict.cn