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

Dealing With Smash Products in HoTT

Date: April 12, 2023

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

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