The Free On-line Dictionary of Computing (19 January 2023):

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.