Anthony Bordg, 407, Reflections on the Foundations of Mathematics, 2019, 173
Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner, “Internalizing representation independence with univalence”, Proc. ACM Program. Lang., 5, № POPL, 2021, 1
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg, “From Signatures to Monads in UniMath”, J Autom Reasoning, 63, № 2, 2019, 285
Thierry Coquand, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, 11
Thierry Coquand, Simon Huber, Anders Mörtberg, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, 255
Vladimir Voevodsky, “C-system of a module over a Jf-relative monad”, Journal of Pure and Applied Algebra, 227, № 6, 2023, 107283
Cesare Gallozzi, “Homotopy type-theoretic interpretations of constructive set theories”, Math. Struct. Comp. Sci., 31, № 1, 2021, 112
Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017, 164
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
Andrea Vezzosi, Anders Mörtberg, Andreas Abel, “Cubical agda: a dependently typed programming language with univalence and higher inductive types”, Proc. ACM Program. Lang., 3, № ICFP, 2019, 1