pi8027/typeinfer — Issue #41: 1.5 β簡約 λ計算の実行とλ項の評価
Author: cutsea110
Created: 2011-11-13 23:03:29+00:00
State: open

これは質問です。

λ計算の実行とλ項の評価の違いがいまいちはっきり分らなかったので確認。

実行は簡約で、評価は簡約の並びってとらえていい？