Contractive signatures with recursive types, type parameters, and abstract typesIm, Hyeonseung; Nakata, Keiko; Park, SungwooAutomata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II2013 / p. 299 - 311 https://doi.org/10.1007/978-3-642-39212-2_28 Conference Proceedings at Scopus Article at Scopus

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