Type Theory quick question

by Faustus2 1 min read26th Jul 20176 comments


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.