National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
On the Setoid Model of Type Theory
Presenter
Erik Palmgren
October 18, 2012
IAS
Keywords:
Univalent
Play Video
Abstract
On the Setoid Model of Type Theory
