Tra từ parallel reduction - Từ điển Máy Tính

Từ điển Máy Tính - Foldoc Dictionary

parallel reduction 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.