J. Daniel Christensen

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Educational Material

Algebraic Structure

Default Theories

Top Venues

Publications

Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke
Central H-spaces and banded types. CoRR (2023)
J. Daniel Christensen, Jarl G. Taxerås Flaten
Ext groups in Homotopy Type Theory. CoRR (2023)
J. Daniel Christensen
Non-accessible localizations. CoRR (2021)
Andries E. Brouwer, J. Daniel Christensen
Counterexamples to Conjectures About Subset Takeaway and Counting Linear Extensions of a Boolean Lattice. Order 35 (2) (2018)
Andries E. Brouwer, J. Daniel Christensen
Counterexamples to conjectures about Subset Takeaway and counting linear extensions of a Boolean lattice. CoRR (2017)