Upload Videos/Supplements
Online Seminar: Homotopy type theory and internal languages of higher categories 18-May-2020 10:00 AM PDT - 18-May-2020 11:30 AM PDT
Homotopy Type Theory And Internal Languages Of Higher Categories
Homotopy Type Theory And Internal Languages Of Higher Categories
H.264 Video | 25065_28460_8352_Homotopy_Type_Theory_and_Internal_Languages_of_Higher_Categories.mp4 |
Please report video problems to itsupport@slmath.org.
See more of our Streaming videos on our main VMath Videos page.