型理論をちゃんと学びたいです。
なにか良い必読書(or必読書まとめ)があれば教えてください。