Talk page

Title:
Invariant homotopy theory in the univalent foundations

Speaker:
Guillaume Brunerie

Link:
https://www.ias.edu/video/shorttalks/2016/0928-GuillaumeBrunerie