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

Synthetic Integral Cohomology in Cubical Agda

Date: February 15, 2022

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

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