National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Simplicial Types
Presenter
Peter Lumsdaine
January 16, 2013
IAS
Keywords:
Univalent
Play Video
Abstract
Simplicial Types