Videos

Type Systems

Presenter
November 21, 2012
Keywords:
  • Vladimir Voevodsky
  • Univalent
Abstract
Type Systems