Axel Ljungström
Publications
Talks
Teaching
Miscellaneous
CV

Axel Ljungström

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

Stockholm, Sweden
Email
Twitter
Github
ORCID

π₄(S³) ≅ ℤ/2ℤ Cubical Agda

Date: April 28, 2023

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2024 Axel Ljungström. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.