Personal information

No personal information available

Activities

Collapse all

Employment (1)

Stockholm University: Stockholm, SE

Employment
Source: Self-asserted source
Axel Ljungström

Works (1)

Symmetric monoidal smash products in homotopy type theory

Mathematical Structures in Computer Science
2024-10 | Journal article
DOI: 10.1017/S0960129524000318
Contributors: Axel Ljungström
Source: check_circle
Crossref
How many people are using ORCID?