Talk page

Title:
Semantics of Higher Inductive Types

Speaker:
Michael Shulman

Link:
https://www.ias.edu/video/univalent/1213/0227-MichaelShulman