Videos

Formal Abstract Homotopy Theory

Presenter
February 28, 2013
IAS
Keywords:
  • Univalent
Formal Abstract Homotopy Theory Thumbnail
Play Video
Abstract
Formal Abstract Homotopy Theory