エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Subject Reductionって何だったっけ?という話。 - soutaroブログ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Subject Reductionって何だったっけ?という話。 - soutaroブログ
TAPLの索引を見ると、Subject ReductionについてはPreservationを見ろって書いてある。Preservationを見... TAPLの索引を見ると、Subject ReductionについてはPreservationを見ろって書いてある。Preservationを見ると、Safety = Progress + Preservationと書いてあって、これは去年の夏どっかで見た話なことを思い出したんだけど、まあそれは良いや。とりあえずTAPL読む。 Types and Programming Languages 作者: Benjamin C. Pierce出版社/メーカー: The MIT Press発売日: 2002/01/04メディア: ハードカバー購入: 5人 クリック: 86回この商品を含むブログ (53件) を見る We show this in two steps, commonly known as the progress and preservation theorems. Progress A