Videos

Toward Higher Inductive Types

Presenter
November 14, 2012
IAS
Keywords:
  • Univalent
Toward Higher Inductive Types Thumbnail
Play Video
Abstract
Toward Higher Inductive Types