keigoi https://blog.hatena.ne.jp/keigoi/ keigoiの日記 https://keigoi.hatenadiary.org/ お勉強 full abstraction ... λ計算とかπ計算とか表示的意味論のお話ではよく出てくる概念なんですが、未だによくわからないなーとつぶやいていたら id:sumii さんに教えていただいた。 もったいないのでここに残しておきます。 full abstraction の私的な説明 計算体系Aと計算体系(もしくはモデル)B があるとして、 その間の変換を C[・] : A -> B、 〜A と 〜B をそれぞれの計算体系(かモデル)における等価性とします。 すべてのAの項 ta1とta2について C[ta1] 〜B C[ta2] ならば ta1〜A ta2 ... adequacy(sou… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20091027%2F1256639073" title=" full abstraction - keigoiの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-10-27 19:24:33 rich https://keigoi.hatenadiary.org/entry/20091027/1256639073 1.0 100%