Die
Normal Order Reduction (NOR) ist in der
Mathematik eine Ableitungsstrategie beim
Lambda-Kalkül, um einen Lambda-Ausdruck zu dessen Normalform abzuleiten. Bei dieser Strategie wird die
lazy-evaluation genutzt, bei der die Ausdrücke erst ausgewertet werden, wenn deren Wert bei der Berechnung benötigt wird. Neben der zweiten Ableitungsstrategie, der
Applicative Order Reduction (AOR), führt diese Strategie immer zum Erfolg, falls ein Ausdruck e eine Normalform hat.