Talk page

Title:
Inernal Languages for Higher Toposes

Speaker:
Michael Shulman

Link:
https://www.ias.edu/video/math/stpm2012/shulman