Videos

Simplicial Types

Presenter
January 16, 2013
IAS
Keywords:
  • Univalent
Simplicial Types Thumbnail
Play Video
Abstract
Simplicial Types