Overview of Univalent Foundations
Presenter
September 27, 2012
Keywords:
- Vladimir Voevodsky
- Univalent
Abstract
(Continued from September 26, 2012)