Axel Ljungström
Publications
Talks
Teaching
Miscellaneous
CV
Axel Ljungström
Ph.D. student in type theory at Stockholm University, Department of Mathematics
Follow
Stockholm, Sweden
Email
Twitter
Github
ORCID
Introduction to Cubical Agda
Date:
April 27, 2023
Share on
Twitter
Facebook
LinkedIn
Previous
Next
