龍田『型理論』
https://images-na.ssl-images-amazon.com/images/I/716bf-dh88L.jpg
型理論
の本
龍田真
著
一つ一つの章がかなり薄い
語彙を増やすのには良い
が、という感じ
1章
型理論
読了2020/5/8
2章
同じ著者の
このpdfの3章
と合わせて読むと良いかも
↑の方が詳しい
単純階型理論
読了2020/5/9
3章
ML
の
型推論
強力な型の機構を持つにも関わらず計算可能なのがすごい
未読
4章
未読
5章
ITT_n
Martin-Löfの型理論
推論規則が多い？
未読
6章
System F
Jean-Yves Girard
のF
impredicativeとは
未読
7章
Calculus of Constructions
Thierry Coquand
未読
8章
ラムダ・キューブ
未読
9章
Girardの逆説
型理論の限界
未読
10章
文献紹介