Videos

Type Systems

Presenter
October 3, 2012
IAS
Keywords:
  • Vladimir Voevodsky
  • Univalent
Type Systems Thumbnail
Play Video
Abstract
Type Systems