National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Type Systems
Presenter
Vladimir Voevodsky
November 21, 2012
IAS
Keywords:
Vladimir Voevodsky
Univalent
Play Video
Abstract
Type Systems