Inernal Languages for Higher Toposes Date October 03, 2012 Speakers Michael Shulman Affiliation University of California, San Diego; Member, School of Mathematics School of Mathematics