lambda-calculus Definition Normal Order Reduction Normal order reduction reduces the left-most, outer-most application of an lambda abstraction.