4 citations to 10.1090/conm/658/13124 (Crossref Cited-By Service)

1. Daniel Grayson, “An introduction to univalent foundations for mathematicians”, Bull. Amer. Math. Soc., 55, № 4, 2018, 427  
2. Aleksandr Aleksandrovich Beilinson, Alexander Semenovich Vishik, David A Kazhdan, Mikhail Mikhailovich Kapranov, Alexander Sergeevich Merkurjev, Dmitri Olegovich Orlov, Ivan Alexandrovich Panin, Andrey Aleksandrovich Suslin, Nikolai Andreevich Tyurin, Georgii Borisovich Shabat, “Владимир Александрович Воеводский (некролог)”, Успехи математических наук, 73, № 3(441), 2018, 157  
3. Vladimir Voevodsky, “Martin-Löf identity types in C-systems”, Publ.math.IHES, 138, № 1, 2023, 1  
4. Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North, 15194, Programming Languages and Systems, 2025, 3