Videos

Cohomology in Homotopy Type Theory

Presenter
March 6, 2013
IAS
Keywords:
  • Univalent
Cohomology in Homotopy Type Theory Thumbnail
Play Video
Abstract
Cohomology in Homotopy Type Theory