Videos

Type Systems and Proof Assistant

Presenter
October 10, 2012
IAS
Keywords:
  • Vladimir Voevodsky
  • Univalent
Type Systems and Proof Assistant Thumbnail
Play Video
Abstract
Type Systems and Proof Assistant