{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:07Z","timestamp":1720624927049},"reference-count":28,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3831,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s1571-0661(04)80561-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"101-119","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Induction, Coinduction, and Adjoints"],"prefix":"10.1016","volume":"69","author":[{"given":"Robin","family":"Cockett","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB1","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","article-title":"\u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes","volume":"12","author":"G\u00f6del","year":"1958","journal-title":"Dialectica"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB2","doi-asserted-by":"crossref","unstructured":"D. Pavlovi\u0107, M. H. Escard\u00f3, Calculus in coinductive form, in: Thirteenth Annual IEEE Symposium on Logic in Computer Science (Indianapolis, IN, 1998), IEEE Computer Soc., Los Alamitos, CA, 1998, pp. 408\u2013417.","DOI":"10.1109\/LICS.1998.705675"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB3","doi-asserted-by":"crossref","unstructured":"J. J. M. M. Rutten, Elements of stream calculus (an extensive exercise in coinduction), Tech. Rep. SEN-R0120, CWI (2001).","DOI":"10.1016\/S1571-0661(04)80972-1"},{"issue":"1\u20132","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(94)00099-5","article-title":"Strong categorical datatypes. II. A term logic for categorical programming","volume":"139","author":"Cockett","year":"1995","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB5","unstructured":"T. Fukushima, C. Tuckey, Charity User Manual, (draft, http:\/\/www.cpsc.ucalgary.ca\/Research\/charity\/home.html) (Jan. 1996)."},{"issue":"1","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB6","first-page":"49","article-title":"R\u00e9cursivit\u00e9 graphique. I. Cat\u00e9gorie des fonctions r\u00e9cursives primitives formelles","volume":"27","author":"Burroni","year":"1986","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g"},{"issue":"2","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0019-9958(82)80026-0","article-title":"Parametrized data types do not need highly constrained parameters","volume":"52","author":"Arbib","year":"1982","journal-title":"Inform. and Control"},{"issue":"2","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","article-title":"Fundamental properties of infinite trees","volume":"25","author":"Courcelle","year":"1983","journal-title":"Theoret. Comput. Sci"},{"issue":"3","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0022-4049(75)90028-6","article-title":"Adjoint machines","volume":"6","author":"Arbib","year":"1975","journal-title":"state-behavior machines, and duality, J. Pure Appl. Algebra"},{"issue":"3","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0022-4049(89)90042-X","article-title":"Cartesian categories with natural numbers object","volume":"58","author":"Rom\u00e1n","year":"1989","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB11","unstructured":"L. Santocanale, \u03bc-bicomplete categories and parity functors, talk given at Fixed Points in Computer Science 2001. Extended abstract available from http:\/\/www.labri.fr\/~santocan."},{"issue":"2\u20133","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0022-4049(01)00098-6","article-title":"Free \u03bc-lattices","volume":"168","author":"Santocanale","year":"2002","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB13","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF00370829","article-title":"Monoidal categories with natural numbers object","volume":"48","author":"Par\u00e9","year":"1989","journal-title":"Studia Logica"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB14","doi-asserted-by":"crossref","unstructured":"D. Kozen, A completeness theorem for Kleene algebras and the algebra of regular events, Inform. and Comput. 110 (2) (1994) 366\u2013390, 1991 IEEE Symposium on Logic in Computer Science (Amsterdam, 1991).","DOI":"10.1006\/inco.1994.1037"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB15","first-page":"589","article-title":"Free algebras and automata realizations in the language of categories","volume":"15","author":"Ad\u00e1mek","year":"1974","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB16","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BF01111838","article-title":"Coequalizers and free triples","volume":"116","author":"Barr","year":"1970","journal-title":"Math. Z"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB17","doi-asserted-by":"crossref","unstructured":"B. Day, Limit spaces and closed span categories, in: Category Seminar (Proc. Sem., Sydney, 1972\/1973), Springer, Berlin, 1974, pp. 65\u201374. Lecture Notes in Math., Vol. 420.","DOI":"10.1007\/BFb0063100"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB18","series-title":"Basic concepts of enriched category theory","author":"Kelly","year":"1982"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB19","first-page":"339","article-title":"Free algebras","volume":"16","author":"Trnkov\u00e1","year":"1975","journal-title":"input processes and free monads, Comment. Math. Univ. Carolinae"},{"issue":"2","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1017\/S0960129520003047","article-title":"Introduction to linear bicategories","volume":"10","author":"Cockett","year":"2000","journal-title":"Math. Structures Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB21","doi-asserted-by":"crossref","unstructured":"G. M. Kelly, R. Street, Review of the elements of 2-categories, in: Category Seminar (Proc. Sem., Sydney, 1972\/1973), Springer, Berlin, 1974, pp. 75\u2013103. Lecture Notes in Math., Vol. 420.","DOI":"10.1007\/BFb0063101"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB22","series-title":"Category theory and computer science (Cambridge, 1995)","first-page":"159","article-title":"Categorical fixed point calculus","author":"Backhouse","year":"1995"},{"issue":"2","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB23","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1006\/inco.1998.2725","article-title":"Structural induction and coinduction in a fibrational setting","volume":"145","author":"Hermida","year":"1998","journal-title":"Inform. and Comput"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB24","series-title":"Mathematical foundations of computer science (Bansk\u00e1 Bystrica, 1990)","first-page":"26","article-title":"On Kleene algebras and closed semirings","author":"Kozen","year":"1990"},{"key":"10.1016\/S1571-0661(04)80561-9_NEWBIB25","series-title":"Toposes, triples and theories","author":"Barr","year":"1985"},{"issue":"3","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB26","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0022-4049(84)90061-6","article-title":"Bicategories of spans and relations","volume":"33","author":"Carboni","year":"1984","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB27","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1006\/aima.1993.1055","article-title":"Braided tensor categories","volume":"102","author":"Joyal","year":"1993","journal-title":"Adv. Math"},{"issue":"7","key":"10.1016\/S1571-0661(04)80561-9_NEWBIB28","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1080\/00927877608822127","article-title":"Coalgebras and Cartesian categories","volume":"4","author":"Fox","year":"1976","journal-title":"Comm. Algebra"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805619?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805619?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T03:11:46Z","timestamp":1585883506000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":28,"alternative-id":["S1571066104805619"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80561-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}