Axel Ljungström

14 papers A* 2B 3Journal 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory. CoRR Tom de Jong, Nicolai Kraus, Axel Ljungström
2025	J	`jnl`	Computational synthetic cohomology theory in homotopy type theory. Math. Struct. Comput. Sci. Axel Ljungström, Anders Mörtberg
2025	B	`conf`	Formalising Inductive and Coinductive Containers. ITP Stefania Damato, Thorsten Altenkirch, Axel Ljungström
2025	A*	`conf`	The Steenrod squares via unordered joins. LICS Axel Ljungström, David Wärn
2025	J	`jnl`	The Steenrod squares via unordered joins. CoRR Axel Ljungström, David Wärn
2024	J	`jnl`	Computational Synthetic Cohomology Theory in Homotopy Type Theory. CoRR Axel Ljungström, Anders Mörtberg
2024	J	`jnl`	Formalising inductive and coinductive containers. CoRR Stefania Damato, Thorsten Altenkirch, Axel Ljungström
2024	J	`jnl`	Symmetric Monoidal Smash Products in Homotopy Type Theory. CoRR Axel Ljungström
2024	J	`jnl`	Symmetric monoidal smash products in homotopy type theory. Math. Struct. Comput. Sci. Axel Ljungström
2023	B	`conf`	Computing Cohomology Rings in Cubical Agda. CPP Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
2023	J	`jnl`	Formalizing π CoRR Axel Ljungström, Anders Mörtberg
2023	A*	`conf`	Formalizing π4(S LICS Axel Ljungström, Anders Mörtberg
2022	J	`jnl`	Computing Cohomology Rings in Cubical Agda. CoRR Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
2022	B	`conf`	Synthetic Integral Cohomology in Cubical Agda. CSL Guillaume Brunerie, Axel Ljungström, Anders Mörtberg