Formalising Yoneda Ext in Univalent Foundations. - Jarl G. Taxerås Flaten (ITP, 2023)

Central H-spaces and banded types. - Ulrik Buchholtz; J. Daniel Christensen; Jarl G. Taxerås Flaten; Egbert Rijke (CoRR, 2023)

Ext groups in Homotopy Type Theory. - J. Daniel Christensen; Jarl G. Taxerås Flaten (CoRR, 2023)

Univalent categories of modules. - Jarl G. Taxerås Flaten (Math. Struct. Comput. Sci., 2023)