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

Cohomology Computations in Cubical Agda

Date: April 28, 2021

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

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