@article{choudhury-2023-free, title={Free Commutative Monoids in Homotopy Type Theory}, volume={1}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.10492}, DOI={10.46298/entics.10492}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Choudhury, Vikraman and Fiore, Marcelo}, year={2023}, month=Feb }