4 citations · 4 across the 3 of their papers we have counts for
3 papers
math.AT2025
The Steenrod squares via unordered joins
Axel Ljungström, David Wärn
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them…
cs.LO2024
Formalising Inductive and Coinductive Containers
Stefania Damato, Thorsten Altenkirch, Axel Ljungström
Containers capture the concept of strictly positive data types in programming. The original development of containers is done in the internal language of locally cartesian closed c…
math.AT2022★ 4 cited
Computing Cohomology Rings in Cubical Agda
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first…