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:
The goal is mainly to understand its relation to proof assistants, I have experience with it before as a purely logical study but i haven't tried to see it in this new context for myself. This book looks excellent though, thank you for your recommendation
It reeeeeeally depends on your background. You can come at TT from many different directions: logic, programming, category theory, algebraic topology... the good news is that the contemporary view is that those are all facets of the same thing, a sort of generalized Church-Turing thesis.
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.