Symmetric Monoidal Smash Products in Homotopy Type Theory

To appear in Mathematical Structures in Computer Science

Axel Ljungström https://arxiv.org/abs/2402.03523