Axel Ljungström

Axel Ljungström

Ph.D. student in type theory at Stockholm University, Department of Mathematics

Computational Synthetic Cohomology Theory in Homotopy Type Theory

Submitted, 2024

Axel Ljungström, Anders Mörtberg https://arxiv.org/abs/2401.16336