This article or the following section is not adequately provided with supporting documents ( e.g. individual evidence ). Information without sufficient evidence could be removed soon. Please help Wikipedia by researching the information and including good evidence.
The Applicative Order Reduction (AOR) is a derivation strategy in the lambda calculus to derive a lambda expression for its normal form. The arguments are evaluated first and only then the functions that require the arguments. In addition to the second derivation strategy , Normal Order Reduction (NOR), this strategy does not always lead to success.