Just a quick question, does anybody know or recommend any resources to learn type theory? I do a lot of independent study in my spare time and would be appreciative if anyone has any insight into how to approach this topic from the self-study angle.
Just a quick question, does anybody know or recommend any resources to learn type theory? I do a lot of independent study in my spare time and would be appreciative if anyone has any insight into how to approach this topic from the self-study angle.
What is your goal? Type theory is at the intersection of programming languages and logic. If you care about programming languages and type systems, read TAPL:
https://www.cis.upenn.edu/~bcpierce/tapl/
If you care about type theory purely as a logic, I don't have an obvious recommendation, but could point you at some material.
(Programming Languages researcher)
The HoTT book is pretty readable, but I'm not in a position to evaluate its actual goodness.