Talk page

Title:
Online Seminar: Homotopy type theory and internal languages of higher categories

Speaker:
Chris Kapulkin

Link:
https://www.msri.org/seminars/25065/schedules/28460