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)
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 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