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 Conference proceeding at Scopus Article at Scopus Article at WOS