Videos

Type Systems

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