YoVDO

Homotopy Type Theory Courses

Formalizing Cubical Interpretations of Homotopy Type Theory
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
< Prev Page 2