Logo

Mathematical Sciences Research Institute

Home » Seminar » Schedules » Online Seminar: Homotopy type theory and internal languages of higher categories

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

May 18, 2020 (10:00 AM PDT - 11:30 AM PDT)
Video

Homotopy Type Theory And Internal Languages Of Higher Categories

Supplements No Notes/Supplements Uploaded
Video/Audio Files

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
Troubles with video?

Please report video problems to itsupport@msri.org.

See more of our Streaming videos on our main VMath Videos page.