Logo

Mathematical Sciences Research Institute

Home » Seminar » Schedule

Schedule, Notes/Handouts & Videos

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

Show All Collapse
May 18, 2020
Monday
10:00 AM - 11:30 AM
  Online Seminar: Homotopy type theory and internal languages of higher categories
Chris Kapulkin (University of Western Ontario)