Videos

Semantics of Higher Inductive Types

Presenter
February 27, 2013
IAS
Keywords:
  • Univalent
Semantics of Higher Inductive Types Thumbnail
Play Video
Abstract
Semantics of Higher Inductive Types