Reduction strategy (lambda calculus) とは

関数の正式な研究に関係する数学論理の枝であるラムダ計算において、還元戦略は、複雑な表現がどのようにして連続的な還元ステップによって単純な表現に還元されるかである。それはコンピュータ科学における評価戦略の概念と似ているが微妙に異なる。