Videos

Higher Inductive Types

Presenter
October 1, 2012
IAS
Higher Inductive Types Thumbnail
Play Video
Abstract
Higher Inductive Types