Hard
ラムダ計算の評価戦略と簡約
ラムダ計算におけるβ簡約と評価順序の違いについて詳述させます。
📝 Nội dung Prompt
ラムダ計算におけるα変換、β簡約、η変換の定義を説明した上で、名前呼び出しと値呼び出しという2つの評価戦略の違いを、正規順序簡約と適用順序簡約の観点から比較し、それぞれが正規形に到達するかどうかについて論じてください。