Videos

Inernal Languages for Higher Toposes

Presenter
October 3, 2012
IAS
Inernal Languages for Higher Toposes Thumbnail
Play Video
Abstract
Inernal Languages for Higher Toposes