Talk page

Title:
Weak Infinity Groupoids in HoTT

Speaker:
Guillaume Brunerie

Link:
https://www.ias.edu/video/1213/univalent/0130-GuillaumeBrunerie