Axel Ljungström
Publications
Talks
Teaching
Miscellaneous
CV
Axel Ljungström
Postdoc at the University of Nottingham, School of Computer Science
Follow
Nottingham, UK
Email
Github
ORCID
π₄(S³) ≅ ℤ/2ℤ Cubical Agda
Date:
April 28, 2023
Share on
Twitter
Facebook
LinkedIn
Previous
Next
