Axel Ljungström

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

Collaborative distances:

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

2026

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory.

Tom de Jong, Nicolai Kraus, Axel Ljungström

CoRR, January, 2026

2025

stefaniatadama/formalising-inductive-coinductive-containers.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

Dataset, September, 2025

Computational synthetic cohomology theory in homotopy type theory.

Axel Ljungström, Anders Mörtberg

Math. Struct. Comput. Sci., 2025

The Steenrod squares via unordered joins.

Axel Ljungström, David Wärn

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Formalising Inductive and Coinductive Containers.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Symmetric monoidal smash products in homotopy type theory.

Axel Ljungström

Math. Struct. Comput. Sci., 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

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 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