Axel Ljungström

According to our database, Axel Ljungström authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Symmetric Monoidal Smash Products in Homotopy Type Theory.

Axel Ljungström

CoRR, 2024

Computational Synthetic Cohomology Theory in Homotopy Type Theory.

Axel Ljungström, Anders Mörtberg

CoRR, 2024

2023

Formalizing π₄(S^{^3}) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda.

Axel Ljungström, Anders Mörtberg

CoRR, 2023

Formalizing π4(S³) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda.

Axel Ljungström, Anders Mörtberg

LICS, 2023

Computing Cohomology Rings in Cubical Agda.

Thomas Lamiaux, Axel Ljungström, Anders Mörtberg

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Synthetic Integral Cohomology in Cubical Agda.

Guillaume Brunerie, Axel Ljungström, Anders Mörtberg

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022