Talk page

Title:
Eilenberg-Mac Lane Spaces in HoTT

Speaker:
Daniel Licata

Link:
https://www.ias.edu/video/univalent/1213/0313-DanielLicata