Нормальная редукционная стратегия
Нормальная редукционная стратегия — такая стратегия редукции в λ-исчислении, при которой на каждом шаге редукции выбирается текстуально самый левый β-редекс. Доказано, что нормальная редукционная стратегия гарантирует получение нормальной формы λ-выражения, если она существует. В программировании нормальная редукционная стратегия соответствует вызову по имени.