Talk page

Title:
Homotopy type theory: working invariantly in homotopy theory

Speaker:
Guillaume Brunerie

Link:
https://www.ias.edu/video/postdoc/2017/0926-GuillaumeBrunerie