Robuta

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 geometry max zeuner univalent constructive 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 theory univalent foundations 1308 0729 mathematics https://arxiv.org/abs/2205.06651 [2205.06651] Univalent typoids Abstract page for arXiv paper 2205.06651: Univalent typoids 2205 06651 univalent 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 geometry max zeuner univalent constructive 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 mathematics for advanced univalent events institute