Home Courses Lectures on the Curry-Howard-Correspondence Type Theory Type Theory Introduction to type theory. 1-2 hours per week, for 8 weeks Learn Stuff This is important Quiz What is type theory? Dunno. Previous Intuitionistic logic