Talk page

Title:
Toward a Computational Interpretation of Univalence

Speaker:
Daniel Licata

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