Axel Ljungström

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