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, no. 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, no. 3(441), 2018, 157  
3. Vladimir Voevodsky, “Martin-Löf identity types in C-systems”, Publ.math.IHES, 138, no. 1, 2023, 1  
4. Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North, 15194, Programming Languages and Systems, 2025, 3