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.
|< Previous Terms||Terms Containing parallel reduction||Next Terms >|
Parallel Presence Detect
parallel random access machine
|applicative order reduction|
|Parallel Server Option|
Parallel Virtual Machine