型理論の本

龍田真著

一つ一つの章がかなり薄い

語彙を増やすのには良いが、という感じ

1章

読了2020/5/8

2章

同じ著者のこのpdfの3章と合わせて読むと良いかも

↑の方が詳しい

読了2020/5/9

3章

MLの型推論

強力な型の機構を持つにも関わらず計算可能なのがすごい

未読

4章

未読

5章

推論規則が多い？

未読

6章

Jean-Yves GirardのF

impredicativeとは

未読

7章

未読

8章

未読

9章

型理論の限界

未読

10章

文献紹介