Jarl G. Taxerås Flaten

Publication Activity (10 Years)

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

Top Topics

Broad Categories

Modular Architecture

Top Venues

Math. Struct. Comput. Sci.

Publications

Jarl G. Taxerås Flaten
Univalent categories of modules. Math. Struct. Comput. Sci. 33 (2) (2023)
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)
Jarl G. Taxerås Flaten
Formalising Yoneda Ext in Univalent Foundations. ITP (2023)
Jarl G. Taxerås Flaten
Formalising Yoneda Ext in Univalent Foundations. CoRR (2023)