{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T09:09:51Z","timestamp":1723194591964},"reference-count":26,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"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":1062,"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":[[2010,9]]},"DOI":"10.1016\/j.entcs.2010.08.021","type":"journal-article","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T07:15:21Z","timestamp":1283584521000},"page":"351-368","source":"Crossref","is-referenced-by-count":4,"special_numbering":"C","title":["Coalgebraic Representation Theory of Fractals"],"prefix":"10.1016","volume":"265","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[]},{"given":"Milad","family":"Niqui","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.entcs.2010.08.021_br0010","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/logcom\/12.2.217","article-title":"Final coalgebras are ideal completions of initial algebras","volume":"12","author":"Ad\u00e1mek","year":"2002","journal-title":"Journ. of Logic and Computation"},{"issue":"3","key":"10.1016\/j.entcs.2010.08.021_br0020","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","article-title":"Solving reflexive domain equations in a category of complete metric spaces","volume":"39","author":"America","year":"1989","journal-title":"Journ. Comp. Syst. Sci"},{"issue":"2","key":"10.1016\/j.entcs.2010.08.021_br0030","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","article-title":"Terminal coalgebras in well-founded set theory","volume":"114","author":"Barr","year":"1993","journal-title":"Theor. Comp. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0040","unstructured":"B\u00e9nabou, J., Distributors at work, Lecture notes taken by T. Streicher (2000), www.mathematik.tu-darmstadt.de\/~streicher\/FIBR\/DiWo.pdf.gz."},{"key":"10.1016\/j.entcs.2010.08.021_br0050","series-title":"SBMF","first-page":"84","article-title":"Corecursive algebras: A study of general structured corecursion","volume":"5902","author":"Capretta","year":"2009"},{"key":"10.1016\/j.entcs.2010.08.021_br0060","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1006\/inco.1995.1096","article-title":"Dynamical systems, measures and fractals via domain theory","volume":"120","author":"Edalat","year":"1995","journal-title":"Inf. & Comp."},{"key":"10.1016\/j.entcs.2010.08.021_br0070","series-title":"Applied Semantics","first-page":"193","article-title":"Computing with real numbers","volume":"2395","author":"Edalat","year":"2002"},{"key":"10.1016\/j.entcs.2010.08.021_br0080","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M.H. and A.K. Simpson, A universal characterization of the closed Euclidean interval, in: Logic in Computer Science (2001), pp. 115\u2013128.","DOI":"10.1109\/LICS.2001.932488"},{"key":"10.1016\/j.entcs.2010.08.021_br0090","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526565","article-title":"Axiomatic Domain Theory in Categories of Partial Maps","author":"Fiore","year":"1996"},{"key":"10.1016\/j.entcs.2010.08.021_br0100","doi-asserted-by":"crossref","unstructured":"Hasuo, I., B. Jacobs and M. Niqui, Coalgebraic representation theory of fractals, Including an appendix, http:\/\/www.kurims.kyoto-u.ac.jp\/~ichiro\/ (2010).","DOI":"10.1016\/j.entcs.2010.08.021"},{"key":"10.1016\/j.entcs.2010.08.021_br0110","article-title":"Generic trace semantics via coinduction","volume":"3","author":"Hasuo","year":"2007","journal-title":"Logical Methods in Comp. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0120","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2977\/prims\/1195178796","article-title":"Self-similar sets as Tarski's fixed points","volume":"21","author":"Hayashi","year":"1985","journal-title":"Publ. Res. Inst. Math. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0130","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1512\/iumj.1981.30.30055","article-title":"Fractals and self-similarity","volume":"30","author":"Hutchinson","year":"1981","journal-title":"Indiana Univ. Math. J."},{"key":"10.1016\/j.entcs.2010.08.021_br0140","series-title":"An Introduction to Metric Spaces and Fixed Point Theory","author":"Khamsi","year":"2001"},{"key":"10.1016\/j.entcs.2010.08.021_br0150","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","article-title":"Theory of representations","volume":"38","author":"Kreitz","year":"1985","journal-title":"Theor. Comp. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0160","author":"Leinster"},{"key":"10.1016\/j.entcs.2010.08.021_br0170","author":"Leinster"},{"key":"10.1016\/j.entcs.2010.08.021_br0180","series-title":"Sheaves in Geometry and Logic. A First Introduction to Topos Theory","author":"Mac Lane","year":"1992"},{"key":"10.1016\/j.entcs.2010.08.021_br0190","series-title":"The Fractal Geometry of Nature","author":"Mandelbrot","year":"1982"},{"issue":"1\u20132","key":"10.1016\/j.entcs.2010.08.021_br0200","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0304-3975(01)00022-6","article-title":"The continuum as a final coalgebra","volume":"280","author":"Pavlovi\u0107","year":"2002","journal-title":"Theor. Comp. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0210","series-title":"Discrete Iterated Function Systems","author":"Peruggia","year":"1993"},{"key":"10.1016\/j.entcs.2010.08.021_br0220","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":"Theor. Comp. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0230","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.entcs.2008.10.020","article-title":"A functional algorithm for exact real integration with invariant measures","volume":"218","author":"Scriven","year":"2008","journal-title":"Elect. Notes in Theor. Comp. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0240","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","article-title":"The category theoretic solution of recursive domain equations","volume":"11","author":"Smyth","year":"1982","journal-title":"SIAM Journ. Comput."},{"key":"10.1016\/j.entcs.2010.08.021_br0250","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/S0304-3975(01)00104-9","article-title":"Real number computation through Gray code embedding","volume":"284","author":"Tsuiki","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2010.08.021_br0260","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0304-3975(85)90207-5","article-title":"Type 2 recursion theory","volume":"38","author":"Weihrauch","year":"1985","journal-title":"Theor. Comp. Sci."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066110001003?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066110001003?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T11:21:35Z","timestamp":1559560895000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066110001003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":26,"alternative-id":["S1571066110001003"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2010.08.021","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}