Search Results - Flaten, Jarl G. Taxerås

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Univalent categories of modules

    Univalent categories of modules by Flaten, Jarl G. Taxerås

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Formalising Yoneda Ext in Univalent Foundations

    Formalising Yoneda Ext in Univalent Foundations by Jarl G Taxerås Flaten

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Univalent categories of modules

    Univalent categories of modules by Jarl G Taxerås Flaten

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Ext groups in Homotopy Type Theory

    Ext groups in Homotopy Type Theory by Christensen, J Daniel, Jarl G Taxerås Flaten

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Central H-spaces and banded types

    Central H-spaces and banded types by Buchholtz, Ulrik, Christensen, J Daniel, Jarl G Taxerås Flaten, Rijke, Egbert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: