Videos

Kan Simplicial Set Model of Type Theory

Presenter
October 25, 2012
IAS
Keywords:
  • Univalent
Kan Simplicial Set Model of Type Theory Thumbnail
Play Video
Abstract
Kan Simplicial Set Model of Type Theory