Contact DMCA Privacy

Robuta

https://arxiv.org/abs/1211.2851
[1211.2851] The Simplicial Model of Univalent Foundations (after Voevodsky)
Abstract page for arXiv paper 1211.2851: The Simplicial Model of Univalent Foundations (after Voevodsky)
univalent foundationssimplicialmodelvoevodsky