Normal order reduction

In mathematics, the normal order reduction (NOR) is a derivation strategy for the lambda calculus to derive a lambda expression for its normal form. This strategy uses lazy evaluation , in which the expressions are only evaluated when their value is required for the calculation. In addition to the second derivation strategy , Applicative Order Reduction (AOR), this strategy always leads to success if an expression e has a normal form.