Type Theory quick question

byFaustus2 2y26th Jul 20176 comments

0


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.