Talk page

Title:
Toward Higher Inductive Types

Speaker:
Michael Shulman

Link:
https://www.ias.edu/video/univalent/shulman