UF IAS 2012 Archive
Univalence
Skip the Navigation Links
|
Home Page
|
All Pages
|
Here are some resources on the Univalence Axiom.
The paper:
The Simplicial Set Model of Univalent Foundations
, Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky.
Created on April 19, 2018 at 21:16:58 by
Univalent foundations special year 2012