Videos

Computing with Univalence

Presenter
September 28, 2012
IAS
Computing with Univalence Thumbnail
Play Video
Abstract
Computing with Univalence