Type Theory Courses
Hausdorff Center for Mathematics via YouTube Formalization in Homotopy Type Theory - Equivalences, 3-for-2 and Definitional Equality
Hausdorff Center for Mathematics via YouTube Polynomial Functors Formalization Report
Hausdorff Center for Mathematics via YouTube A Categorical Account of the Setoid Model
Hausdorff Center for Mathematics via YouTube HOL with Dependent Types and Subtyping
Hausdorff Center for Mathematics via YouTube Condensed Type Theory - Axioms and Applications
Hausdorff Center for Mathematics via YouTube What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming
GOTO Conferences via YouTube Mathematical Reasoning, Formal Proof Systems and Artificial Intelligence
International Centre for Theoretical Sciences via YouTube Dialectica Categories for All
Hausdorff Center for Mathematics via YouTube An Alternative Approach to Formal Mathematics - Prioritizing Communication over Certification
Hausdorff Center for Mathematics via YouTube