Talk page

Title:
Cubical Sets (Part 1): The equivariant uniform Kan fibration model of cubical homotopy type theory

Speaker:
Emily Riehl

Link:
https://www.msri.org/seminars/25038/schedules/28427