Counterexamples to Conjectures About Subset Takeaway and Counting Linear Extensions of a Boolean Lattice. - Andries E. Brouwer; J. Daniel Christensen (Order, 2018)

Non-accessible localizations. - J. Daniel Christensen (CoRR, 2021)

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)