{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:20Z","timestamp":1762458380746},"reference-count":24,"publisher":"EDP Sciences","issue":"4-5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1051\/ita:1999126","type":"journal-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T15:07:12Z","timestamp":1068822432000},"page":"401-426","source":"Crossref","is-referenced-by-count":5,"title":["Final Dialgebras: From Categories to Allegories"],"prefix":"10.1051","volume":"33","author":[{"given":"Roland","family":"Backhouse","sequence":"first","affiliation":[]},{"given":"Paul","family":"Hoogendijk","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2002,8,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"C.J. Aarts, R.C. Backhouse, P. Hoogendijk, T.S. Voermans and J. van der Woude, A relational theory of datatypes. AvailableviaWorld-Wide Web at http:\/\/www.win.tue.nl\/cs\/wp\/papers (September 1992).","DOI":"10.1007\/3-540-57499-9_15"},{"key":"R2","unstructured":"P. Aczel,Non Well-Founded Sets, Number 14 in CSLI Lecture Notes. Center for the Study of Language and Information (Stanford, California, 1988)."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"P. Aczel and N. Mendler, A final coalgebra theorem, D.H. Pitt, Ed.,Category Theory and Computer Science. Springer Verlag,Lecture Notes in Comput. Sci.(1989) 357-365.","DOI":"10.1007\/BFb0018361"},{"key":"R4","unstructured":"R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans and J. van der Woude, Polynomial relators, M. Nivat, C.S. Rattray, T. Rus and G. Scollo, Eds., inProc. of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91. Springer-Verlag, Workshops in Computing (1992) 303-326."},{"key":"R5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0956796800001556","volume":"6","author":"Bird","year":"1996","journal-title":"J. Funct. Programming"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"R.S. Bird and O. de Moor,Algebra of Programming. Prentice-Hall International (1996).","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"R7","unstructured":"H. Doornbos,Reductivity arguments and program construction. Ph.D. Thesis, Eindhoven University of Technology, Department of Mathematics and Computing Science (1996)."},{"key":"R8","unstructured":"P.J. Freyd and A. Scedrov,Categories, Allegories.North-Holland (1990)."},{"key":"R9","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-18508-9_24","volume":"283","author":"Hagino","year":"1988","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R10","unstructured":"P. Hoogendijk,A Generic Theory of Datatypes. Ph.D. Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology (1997)."},{"key":"R11","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/BFb0026992","volume":"1290","author":"Hoogendijk","year":"1997","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R12","unstructured":"P. Hoogendijk and O. de Moor, What is a datatype? Technical Report 96\/16, Department of Mathematics and Computing Science, Eindhoven University of Technology, 1996.J. Funct. Programming, to appear."},{"key":"R13","first-page":"222","volume":"62","author":"Jacobs","year":"1997","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"P. Jansson and J. Jeuring, PolyP - a polytypic programming language extension. InPOPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press (1997) 470-482.","DOI":"10.1145\/263699.263763"},{"key":"R15","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"Jay","year":"1995","journal-title":"Sci. Comput. Programming"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"C.B. Jay and J.R.B. Cockett, Shapely types and shape polymorphism, D. Sannella, Ed.,ESOP '94: 5th European Symposium on Programming. Springer Verlag,Lecture Notes in Comput. Sci.(1994) 302-316.","DOI":"10.1007\/3-540-57880-3_20"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"J. Jeuring, Polytypic pattern matching. InConference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture(1995) 238-248.","DOI":"10.1145\/224164.224212"},{"key":"R18","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/3-540-61628-4_3","volume":"1129","author":"Jeuring","year":"1996","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R19","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"Lambek","year":"1968","journal-title":"Math. Z."},{"key":"R20","doi-asserted-by":"crossref","first-page":"337","DOI":"10.4153\/CMB-1970-065-6","volume":"13","author":"Lambek","year":"1970","journal-title":"Canad. Math. Bull."},{"key":"R21","doi-asserted-by":"crossref","unstructured":"S. MacLane,Categories for the Working Mathematician. Springer-Verlag, New York (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"R22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-61756-6_73","volume":"1140","author":"Meertens","year":"1996","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R23","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume":"523","author":"Meijer","year":"1991","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R24","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/3-540-57499-9_26","volume":"755","author":"Swierstra","year":"1993","journal-title":"Lecture Notes in Comput. Sci."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999126\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T23:00:17Z","timestamp":1585263617000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":24,"journal-issue":{"issue":"4-5"},"alternative-id":["ita9933"],"URL":"https:\/\/doi.org\/10.1051\/ita:1999126","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}