Computational Synthetic Cohomology Theory in Homotopy Type Theory
Submitted, 2024
Axel Ljungström, Anders Mörtberg
Arxiv
Submitted, 2024
Axel Ljungström, Anders Mörtberg
Arxiv
Submitted, 2024
Axel Ljungström
Arxiv
Best student paper (HoTT 2023)
Submitted
Axel Ljungström, Anders Mörtberg
Arxiv
Extended version of `Formalizing π₄(S³) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda’
Proceedings of LICS 2023
Axel Ljungström, Anders Mörtberg
Arxiv
Distinguished paper award (LICS 2023)
Proceedings of CPP 2023
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
Arxiv
Distinguished paper award (CPP 2023)
Proceedings of CSL 2022
Guillaume Brunerie, Axel Ljungström, Anders Mörtberg
Available here