Type Theory for the Working Rustacean - Dan Pittman
!!Con West 2019 - Eric Weinstein: Value Your Types!
Foundations 6: Simple Type Theory
Why should you learn Type Theory?
Robert Harper: "Phase Distinctions in Type Theory"
Foundations 7: Dependent Type Theory
The Hardest Problem in Type Theory - Computerphile
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
Implementing a Modal Dependent Type Theory
Dependent Types with David Christiansen – Functional Futures
Idris 2: Quantitative Type Theory in Practice (ECOOP 2021)
f(by) 2020: Dependent types, Vitaly Bragilevsky
Building a Typechecker from scratch [1/20] Introduction to Type theory and checking
The Structural Theory of Pure Type Systems
Introductory Lectures on Type Theory (2 : Sums and products, propositional logic)
My First Type Theory
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
Type Systems - Part 1
What is...homotopy type theory?
Notes on Type Theory for beginners