• Monoid structures on indexed containersDe Pascalis, Michele; Uustalu, Tarmo; Veltri, NiccolòProceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 20252025 / p. 37-54 https://doi.org/10.4204/EPTCS.430.4 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/pages/publications/105022888802?origin=resultslist https://www.webofscience.com/wos/woscc/full-record/WOS:001696440800010