TY  - RPRT
TI  - Free Commutative Monoids in Homotopy Type Theory
AU  - Vikraman Choudhury
AU  - Marcelo Fiore
PY  - 2023
DO  - 10.46298/entics.10492
UR  - https://arxiv.org/abs/2110.05412
ID  - 2110.05412
ER  -