nLab Axel Ljungström (changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

• institute page

Selected writings and talks

On ordinary cohomology in homotopy type theory, specifically on integral cohomology:

• Guillaume Brunerie, Axel Ljungström, Anders Mörtberg, Synthetic Integral Cohomology in Cubical Agda, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 216 (2022) $[$doi:10.4230/LIPIcs.CSL.2022.11$]$

  (in cubical Agda)

On homotopy groups of spheres in homotopy type theory, specifically on the first stable homotopy group of spheres:

• Axel Ljungström, The Brunerie Number Is -2 (June 2022) [[blog entry](https://homotopytypetheory.org/2022/06/09/the-brunerie-number-is-2/)]

• Axel Ljungström, Calculating a Brunerie Number, Homotopy Type Theory Electronic Seminar Talks, 20 October 2022 (slides, video)

Implementation of ordinary$\;$cohomology rings in cubical agda:

• Thomas Lamiaux, Axel Ljungström, Anders Mörtberg, Computing Cohomology Rings in Cubical Agda, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (2023) [[arxiv:2212.04182] (https://arxiv.org/abs/2212.04182), doi:10.1145/3573105.3575677]