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.net