{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:35:14Z","timestamp":1760146514009},"reference-count":22,"publisher":"EDP Sciences","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1051\/ita:2003022","type":"journal-article","created":{"date-parts":[[2004,1,16]],"date-time":"2004-01-16T10:13:14Z","timestamp":1074247994000},"page":"315-336","source":"Crossref","is-referenced-by-count":16,"title":["Generalizing Substitution"],"prefix":"10.1051","volume":"37","author":[{"given":"Tarmo","family":"Uustalu","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2004,1,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-47797-7_3","volume":"2297","author":"Aczel","year":"2002","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(02)00728-4","volume":"300","author":"Aczel","year":"2003","journal-title":"Theor. Comput. Sci."},{"key":"R3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1017\/S0960129502003924","volume":"13","author":"Ad\u00e1mek","year":"2003","journal-title":"Math. Struct. Comput. Sci."},{"key":"R4","doi-asserted-by":"crossref","unstructured":"J. Ad\u00e1mek, S. Milius and J. Velebil, On rational monads and free iterative theories, inProc. of 9th Int. Conf. on Category Theory and Computer Science, CTCS'02 (Ottawa, Aug. 2002), edited by R. Blute and P. Selinger. Elsevier,Electron. Notes Theor. Comput. Sci.69(2003).","DOI":"10.1016\/S1571-0661(04)80557-7"},{"key":"R5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BF01111838","volume":"116","author":"Barr","year":"1970","journal-title":"Math. Z."},{"key":"R6","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1017\/S0960129502003900","volume":"13","author":"Bartels","year":"2003","journal-title":"Math. Struct. Comput. Sci."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"D. Cancila, F. Honsell and M. Lenisa, Generalized coiteration schemata, inProc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03 (Warsaw, Apr. 2003), edited by H.P. Gumm. Elsevier,Electron. Notes Theor. Comput. Sci.82(2003).","DOI":"10.1016\/S1571-0661(04)80633-9"},{"key":"R8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0049-237X(08)71949-9","volume":"80","author":"Elgot","year":"1975","journal-title":"Stud. Logic Found Math."},{"key":"R9","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"Elgot","year":"1978","journal-title":"J. Comput. Syst. Sci."},{"key":"R10","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1017\/S0960129502003912","volume":"13","author":"Ghani","year":"2003","journal-title":"Math. Struct. Comput. Sci."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"N. Ghani, C. L\u00fcth and F. de Marchi, Coalgebraic monads, inProc. of 5th Wksh. on Coalgebraic Methods in Computer Science, CMCS'02 (Grenoble, Apr. 2001), edited by L.S. Moss. Elsevier,Electron. Notes Theor. Comput. Sci.65(2002).","DOI":"10.1016\/S1571-0661(04)80360-8"},{"key":"R12","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-45315-6_20","volume":"2030","author":"Krstic","year":"2001","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R13","unstructured":"M. Lenisa, From set-theoretic coinduction to coalgebraic coinduction: some results, some problems, inProc. of 2nd Wksh. on Coalgebraic Methods in Computer Science, CMCS'99 (Amsterdam, March 1999), edited by B. Jacobs and J. Rutten. Elsevier,Electron. Notes Theor. Comput. Sci.19(1999)."},{"key":"R14","doi-asserted-by":"crossref","unstructured":"E.G. Manes,Algebraic theories,Graduate Texts in Mathematics26. Springer-Verlag, New York (1976).","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"R. Matthes and T. Uustalu, Substitution in non-wellfounded syntax with variable binding, inProc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03 (Warsaw, Apr. 2003), edited by H.P. Gumm. Elsevier,Electron. Notes Theor. Comput. Sci.82(2003).","DOI":"10.1016\/S1571-0661(04)80639-X"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"S. Milius, On iteratable endofunctors, inProc. of 9th Int. Conf. on Category Theory and Computer Science, CTCS'02 (Ottawa, Aug. 2002), edited by R. Blute and P. Selinger. Elsevier,Electron. Notes Theor. Comput. Science69(2003).","DOI":"10.1016\/S1571-0661(04)80570-X"},{"key":"R17","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0304-3975(00)00126-2","volume":"260","author":"Moss","year":"2001","journal-title":"Theor. Comput. Sci."},{"key":"R18","unstructured":"R. Paterson,Notes on monads for functional programming, unpublished draft (1995)."},{"key":"R19","unstructured":"T. Uustalu, (Co)monads from inductive and coinductive types, inProc. of 2001 APPIA-GULP-PRODE Joint Conf. on Declarative Programming, AGP'01 (\u00c9vora, Sept. 2001), edited by L.M. Pereira and P. Quaresma. Dep. de Inform\u00e1tica, Univ. do \u00c9vora (2001) 47-61."},{"key":"R20","first-page":"5","volume":"10","author":"Uustalu","year":"1999","journal-title":"Informatica"},{"key":"R21","unstructured":"T. Uustalu and V. Vene, The dual of substitution is redecoration, inTrends in Functional Programming 3, edited by K. Hammond and S. Curtis. Intellect, Bristol & Portland, OR (2002) 99-110."},{"key":"R22","first-page":"366","volume":"8","author":"Uustalu","year":"2001","journal-title":"Nordic J. Comput."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2003022\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T03:23:54Z","timestamp":1585452234000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2003022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":22,"journal-issue":{"issue":"4"},"alternative-id":["ita0315"],"URL":"https:\/\/doi.org\/10.1051\/ita:2003022","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}