Talk page

Title:
Univalent foundations and the equivalence principle

Speaker:
Benedikt Ahrens

Link:
https://www.ias.edu/video/shorttalks/2015/0921-BenediktAhrens