Die Normal Order Reduction (NOR) ist 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...