from 型理論を学びたい

量が非常に多いので読み切ることは想定していないが、部分的に参考になる部分があるかもしれない。

Bookmark:Types and Programming Language