Type Theory Courses
Yale University via YouTube Introduction to programming with dependent types in Scala
Stepik Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube Turing Award Recipient Dana S. Scott - Reflections on Logic and Computer Science - Part 4
Association for Computing Machinery (ACM) via YouTube Propositions as Types
Strange Loop Conference via YouTube Hazel - A Live Functional Programming Environment with Typed Holes
Strange Loop Conference via YouTube Peter Dybjer - Intuitionistic Type Theory
Hausdorff Center for Mathematics via YouTube Erik Palmgren: From Type Theory to Setoids and Back
Hausdorff Center for Mathematics via YouTube