Navarro Garmendia, Alberto Vladimir Voevodsky, Fields Medal 2002. (Vladimir Voevodsky, Medalla Fields 2002.) (Spanish) Zbl 1485.01060 Gac. R. Soc. Mat. Esp. 24, No. 3, 623-643 (2021). MSC: 01A70 14C15 14F42 PDF BibTeX XML Cite \textit{A. Navarro Garmendia}, Gac. R. Soc. Mat. Esp. 24, No. 3, 623--643 (2021; Zbl 1485.01060) Full Text: Link Backlinks: MO OpenURL
Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu The simplicial model of univalent foundations (after Voevodsky). (English) Zbl 1471.18025 J. Eur. Math. Soc. (JEMS) 23, No. 6, 2071-2126 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 18C50 55U10 55U35 PDF BibTeX XML Cite \textit{K. Kapulkin} and \textit{P. L. Lumsdaine}, J. Eur. Math. Soc. (JEMS) 23, No. 6, 2071--2126 (2021; Zbl 1471.18025) Full Text: DOI arXiv OpenURL
Tsementzis, Dimitris A meaning explanation for HoTT. (English) Zbl 1475.03055 Synthese 197, No. 2, 651-680 (2020). MSC: 03A05 03B38 55U35 PDF BibTeX XML Cite \textit{D. Tsementzis}, Synthese 197, No. 2, 651--680 (2020; Zbl 1475.03055) Full Text: DOI Link OpenURL