Homotopy Type Theory Courses
Hausdorff Center for Mathematics via YouTube Formalization of Infinity Category Theory
Schmid College, Chapman University via YouTube From HoTT to HOTT - Exploring Homotopy Type Theory
Schmid College, Chapman University via YouTube Compact Ordinals in Homotopy Type Theory and Univalent Foundations - Lecture
Centre International de Rencontres Mathématiques via YouTube Formalizing the ∞-Categorical Yoneda Lemma
ACM SIGPLAN via YouTube Homotopy Type Theory for Sewn Quilts
ACM SIGPLAN via YouTube Internal Parametricity Without an Interval
ACM SIGPLAN via YouTube