Jarl G. Taxerås Flaten

According to our database, Jarl G. Taxerås Flaten authored at least 4 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Univalent categories of modules.

Jarl G. Taxerås Flaten

Math. Struct. Comput. Sci., 2023

Ext groups in Homotopy Type Theory.

J. Daniel Christensen, Jarl G. Taxerås Flaten

CoRR, 2023

Central H-spaces and banded types.

Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke

CoRR, 2023

Formalising Yoneda Ext in Univalent Foundations.

Jarl G. Taxerås Flaten

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023