Axel Ljungström

Axel Ljungström

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

Cellular Methods in Homotopy Type Theory

Preprint, 2025

Axel Ljungström, Loïc Pujet https://aljungstrom.github.io/files/cellular2025.pdf