2012-11-30から1日間の記事一覧

α同値その2

補助定理1.2.34(3) 任意のラムダ項Mに対して次のようなラムダ項Nが存在する M ≡α N かつ FN(N) ∩ BV(N) = ∅ 以下の二つの命題と本の中の補助定理1.2.34(3)よりも前に登場する定理を既知とする。 主張A: BV([y/x]M) = BM(M) (y ∉ BV(M)) 主張B: [z/y][y/x]M ≡…

筆者: oupo (連絡先: oupo.nejiki@gmail.com)