Videos

Homotopy Type Theory: what can logic do for homotopy theory?

Presenter
October 4, 2013
IAS
Homotopy Type Theory: what can logic do for homotopy theory? Thumbnail
Play Video
Abstract
Homotopy Type Theory: what can logic do for homotopy theory?