Axel Ljungström

Axel Ljungström

Ph.D. student in type theory at Stockholm University, Department of Mathematics

The Steenrod squares via unordered joins

To appear in Proceedings of LICS 2025

Axel Ljungström, David Wärn https://arxiv.org/abs/2504.08664