https://arxiv.org/abs/1308.0729
[1308.0729] Homotopy Type Theory: Univalent Foundations of Mathematics
Abstract page for arXiv paper 1308.0729: Homotopy Type Theory: Univalent Foundations of Mathematics
homotopy type theoryunivalent foundations13080729mathematics
https://www.ias.edu/math/sp/univalent
Univalent Foundations of Mathematics | Events | Institute for Advanced Study
Feb 6, 2023 - Coorganized by Steve Awodey (IAS/CMU), Thierry Coquand (IAS/University of Gothenburg) and Vladimir Voevodsky (IAS). Program Participants Program Description...
foundations of mathematicsfor advancedunivalenteventsinstitute
https://www.kth.se/math/kalender/max-zeuner-univalent-constructive-algebraic-geometry-foundations-and-formalizations-1.1359030?date=2024-10-04&orgdate=2024-08-06&length=1&orglength=148
Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations | KTH
algebraic geometrymaxzeunerunivalentconstructive
https://www.kth.se/math/kalender/max-zeuner-univalent-constructive-algebraic-geometry-foundations-and-formalizations-1.1359030?date=2024-10-04&orgdate=2024-02-13&length=1&orglength=0
Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations | KTH
algebraic geometrymaxzeunerunivalentconstructive