Videos

The Simplicial Model of Univalence

Presenter
December 6, 2012
Keywords:
  • Univalent
Abstract
The Simplicial Model of Univalence