%0 Conference Paper %1 journals/corr/abs-2110-05412 %A Choudhury, Vikraman %A Fiore, Marcelo %B MFPS %D 2022 %E Hsu, Justin %E Tasson, Christine %I EpiSciences %K dblp %T Free Commutative Monoids in Homotopy Type Theory. %U http://dblp.uni-trier.de/db/series/entics/entics1.html#abs-2110-05412 %V 1

@inproceedings{journals/corr/abs-2110-05412, added-at = {2024-01-24T00:00:00.000+0100}, author = {Choudhury, Vikraman and Fiore, Marcelo}, biburl = {https://www.bibsonomy.org/bibtex/282836b08ce4c9c1cdaf935339edff9f9/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2022}, editor = {Hsu, Justin and Tasson, Christine}, ee = {https://arxiv.org/abs/2110.05412}, interhash = {280eff925f44f648e63d77805483f32e}, intrahash = {82836b08ce4c9c1cdaf935339edff9f9}, keywords = {dblp}, publisher = {EpiSciences}, series = {EPTICS}, timestamp = {2024-04-09T17:11:28.000+0200}, title = {Free Commutative Monoids in Homotopy Type Theory.}, url = {http://dblp.uni-trier.de/db/series/entics/entics1.html#abs-2110-05412}, volume = 1, year = 2022 }