- Anders Mörtberg, “Cubical methods in homotopy type theory and univalent foundations”, Math. Struct. Comp. Sci., 31, № 10, 2021, 1147
- Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, 53
- Thierry Coquand, The French School of Programming, 2024, 175
- Steve Awodey, Nicola Gambino, Sina Hazratpour, “Kripke-Joyal forcing for type theory and uniform fibrations”, Sel. Math. New Ser., 30, № 4, 2024, 74
- Daniel Gratzer, Håkon Robbestad Gylterud, Anders Mörtberg, Elisabeth Stenholm, “The category of iterative sets in homotopy type theory and univalent foundations”, Math. Struct. Comp. Sci., 2024, 1