Report - 後半第3回「λ計算と型システム」koba/class/ComputationTheory/...簡約戦略 • 簡約の各ステップで、どのβ簡約基（(λx.M)Nの形をした部分項）について簡約を行うかを決める戦略

Please pass captcha verification before submit form