Talk page

Title:
Computing with Univalence

Speaker:
Daniel Licata

Link:
https://www.ias.edu/video/math/stpm2012/licata