Computational Synthetic Cohomology Theory in Homotopy Type Theory

Mathematical Structures in Computer Science, 2025

Axel Ljungström, Anders Mörtberg https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/computational-synthetic-cohomology-theory-in-homotopy-type-theory/6B0905E58C05980FAEAAA903B1C10DFA