Talk page

Title:
HoTT is a Polyvalent Foundation of Mathemtics

Speaker:
André Joyal

Link:
https://www.ias.edu/video/univalent/1213/0404-AndreJoyal