Type Theory Courses
Hausdorff Center for Mathematics via YouTube Discrete and Codiscrete Modalities in Cohesive HoTT
Hausdorff Center for Mathematics via YouTube A Taste of Type Theory
GOTO Conferences via YouTube Universes and Lifetimes in Rust - Higher-Ranked Types Implementation
Rust via YouTube Armchair Type Theory
JSConf via YouTube The Intellectual Ascent to Agda
CppNow via YouTube Why Algebraic Data Types Are Important
code::dive conference via YouTube War Time Proofs and Futuristic Programs
Strange Loop Conference via YouTube Programming Languages in Agda - Propositions as Types
GOTO Conferences via YouTube Universes in Set and Type Theory
Hausdorff Center for Mathematics via YouTube