Symmetric Monoidal Smash Products in Homotopy Type Theory

Mathematical Structures in Computer Science, 2024

Axel Ljungström https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/symmetric-monoidal-smash-products-in-homotopy-type-theory/5DE1323C13C222CF3DCCB1A46B87E05D