Normal-order reduction
= Normal-order reduction
A reduction strategy that contracts the leftmost outermost reducible expression first. If a <lambda calculus> expression has a <beta-normal form>, this strategy reaches it, although the intermediate expressions can be large.