{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:50:40Z","timestamp":1649166640944},"reference-count":17,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"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":4472,"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":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80907-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"161-184","source":"Crossref","is-referenced-by-count":4,"title":["A Calculus of Terms for Coalgebras of Polynomial Functors"],"prefix":"10.1016","volume":"44","author":[{"given":"Robert","family":"Goldblatt","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Aczel P. and N. Mendler, A Final Coalgebra Theorem, in: D. H. Pitt et al., editors, Category Theory and Computer Science. Proceedings 1989, Lecture Notes in Computer Science 389, Springer-Verlag, 1989 pp. 357\u2013365.","DOI":"10.1007\/BFb0018361"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB2","series-title":"\u201cModels and Ultraproducts,\u201d","author":"Bell","year":"1969"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB3","series-title":"\u201cModel Theory,\u201d","author":"Chang","year":"1973"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB4","unstructured":"Goldblatt R., What is the Coalgebraic Analogue of Birkhoff's Variety Theorem?, Theoretical Computer Science, to appear. Manuscript available at http:\/\/www.mcs.vuw.ac.nz\/~rob\/papers\/what.ps."},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB5","unstructured":"Hermida C., \u201cFibrations, Logical Predicates and Indeterminates,\u201d Ph.D. thesis, University of Edinburgh (1993), techn. rep. LFCS-93-277. Also available as Aarhus Univ. DAIMI Techn. rep. PB-462."},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB6","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":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB7","series-title":"Object-Orientation with Parallelism and Persistence","first-page":"83","article-title":"Objects and Classes, Coalgebraically","author":"Jacobs","year":"1996"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB8","series-title":"\u201cCategorical Logic and Type Theory\u201d","author":"Jacobs","year":"1999"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB9","unstructured":"Jacobs B., Exercises in Coalgebraic Specification, manuscript for the proceedings of the Mathematics for Information Technology summer school, Oxford, 2000. Available at http:\/\/www.cs.kun.nl\/~bart\/PAPERS\/."},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB10","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)80348-2","article-title":"Towards a Duality Result in Coalgebraic Modal Logic","volume":"33","author":"Jacobs","year":"2000","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB11","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00053-2","article-title":"Specifying Coalgebras with Modal Logic","volume":"11","author":"Kurz","year":"1998","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic Logic","volume":"96","author":"Moss","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB13","series-title":"Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures","article-title":"Categorical Logic","author":"Pitts","year":"2000"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB14","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An Approach to Object Semantics Based on Terminal Co-Algebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB15","unstructured":"R\u00f6\u00dfiger M., From Modal Logic to Terminal Coalgebras, Preprint MATH-AL-3-1998, Technische Universit\u00e4t Dresden (1998), to appear in Theoretical Computer Science."},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB16","series-title":"Modal Logic and Process Algebra","first-page":"231","article-title":"A Calculus of Transition Systems (towards Universal Coalgebra)","author":"Rutten","year":"1995"},{"key":"10.1016\/S1571-0661(04)80907-1_NEWBIB17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal Coalgebra: a Theory of Systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809071?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809071?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:56:03Z","timestamp":1549191363000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1571066104809071"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80907-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}