TaPLよむ（ばいばい、Dana Scott）
TaPLそのものの内容についての感想を追記しました(2021/3/28)
更にもう一個どんでん返しがあったので追記(2021/5/22)
ダムナティオ・メモリアエ（ラテン語: Damnatio Memoriae）とは、古代ローマで反逆者とされた人物に対して行われた、その人物の記録の破壊処置のこと
続きを読む
-
TuvianNavy
- 2745
- 3
- 0
- 0
-
- いいね！0
蛇足：本文ほっといて引用文献のチェックから始める文系ムーブ
(change of )*state
@TuvianNavy
Hindley (1969) p.582 Milner (1978) p.589 Strachey (1967) p.599 Scott, D さんがどこにもいない T_T
2021-03-19 22:48:22
(change of )*state
@TuvianNavy
de Bruijn p.577 Leroy p.587 Tarski p.600 Whitehead-Russell p.602
2021-03-19 23:09:19
(change of )*state
@TuvianNavy
Aczel p.568 Appel p.568 Barendregt p.569 Barwise p.570
2021-03-20 00:12:42本
型システム入門 −プログラミング言語と型の理論−
Benjamin C. Pierce,住井 英二郎,遠藤 侑介,酒井 政裕,今井 敬吾,黒木 裕介,今井 宜洋,才川 隆文,今井 健男
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Gunter, Carl A.
Introduction to Lattices and Order (English Edition)
Davey, B. A.,Priestley, H. A.
Alfred Tarski: Life and Logic (English Edition)
Feferman, Anita Burdman,Feferman, Solomon