{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T21:51:47Z","timestamp":1776289907773,"version":"3.50.1"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00878504","type":"journal-article","created":{"date-parts":[[2004,12,24]],"date-time":"2004-12-24T20:35:47Z","timestamp":1103920547000},"page":"77-90","source":"Crossref","is-referenced-by-count":8,"title":["Banach's Fixed-Point Theorem as a base for data-type equations"],"prefix":"10.1007","volume":"2","author":[{"given":"J.","family":"Adamek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Reiterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"589","volume":"15","author":"J. Ad\ufffdmek","year":"1974","unstructured":"J. Ad\ufffdmek: Free algebras and automata realizations in the language of categories,Comm. Math. Univ. Carolinae 15 (1974), 589?602.","journal-title":"Comm. Math. Univ. Carolinae"},{"key":"CR2","unstructured":"J. Ad\ufffdmek: Data-type equations in algebraically ?-complete categories,Information and Computation, to appear."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J. Rutten: Solving reflexive domain equations in a category of complete metric spaces,J. Comp. Syst. Sciences 39 (1989), 343?375.","journal-title":"J. Comp. Syst. Sciences"},{"key":"CR4","unstructured":"J. Ad\ufffdmek and V. Trnkov\ufffd:Automata and Algebras in a Category, Kluwer Publ. Dordrecht, 1990."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(80)90045-6","volume":"11","author":"A. Arnold","year":"1980","unstructured":"A. Arnold and M. Nivat: Metric interpretations of infinite trees and semantics of non deterministic recursive programs,Theor. Comp. Science 11 (1980), 181?205.","journal-title":"Theor. Comp. Science"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. Bakker","year":"1982","unstructured":"J. W. Bakker and J. I. Zucker: Processes and the denotational semantics of concurrency,Inform. and Control 54 (1982), 70?120.","journal-title":"Inform. and Control"},{"key":"CR7","unstructured":"D. Lehmann and M. B. Smyth: Data types, University of Warwick,Theory of Comp. Rep. 19 (1977)."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4962-7","volume-title":"Algebraic Approaches to Program Semantics","author":"E. G. Manes","year":"1986","unstructured":"E. G. Manes and M. A. Arbib:Algebraic Approaches to Program Semantics, Springer-Verlag, New York, 1986."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"D. S. Scott:Continuous Lattices, Lect. N. Mathem. 274, Springer-Verlag, 1972, pp. 97?136.","DOI":"10.1007\/BFb0073967"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"M. B. Smyth and G. D. Plotkin: The category-theoretic solutions of recursive domain equations,SIAM J. Comp. 11 (1982), 761?783.","journal-title":"SIAM J. Comp."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0304-3975(79)90053-7","volume":"8","author":"M. Wand","year":"1979","unstructured":"M. Wand: Fixed-point constructions in order-enriched categories,Theor. Comp. Sci. 8 (1979), 13?30.","journal-title":"Theor. Comp. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00878504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00878504\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00878504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:23:38Z","timestamp":1586042618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00878504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00878504"],"URL":"https:\/\/doi.org\/10.1007\/bf00878504","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}