pi8027/typeinfer — Issue #61: 証明木表記説明の位置
Author: mandel59
Created: 2011-12-22 17:05:06+00:00
State: open

1.5 β簡約に「R-Beta規則のように上が空になっている規則は、無条件で下に書いてあることを認めて良いことを表しています。」とありますが、上が空になっている規則の初出は 1.3 α同値関係 図1.4 同値閉包 です。