- 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
- The smash product of monoidal theoriesHadzihasanovic, Amar36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings2021 / art. 9470575, 13 p https://doi.org/10.1109/LICS52264.2021.9470575 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85113822334&origin=inward&txGid=680e680370fc87e2e891080b78b3631a https://www.webofscience.com/wos/woscc/full-record/WOS:000947350400031