{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T11:25:17Z","timestamp":1649071517389},"reference-count":39,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4034,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1016\/s0304-3975(01)00065-2","type":"journal-article","created":{"date-parts":[[2002,10,9]],"date-time":"2002-10-09T15:39:34Z","timestamp":1034177974000},"page":"207-240","source":"Crossref","is-referenced-by-count":5,"title":["Domain representations of partial functions, with applications to spatial objects and constructive volume geometry"],"prefix":"10.1016","volume":"284","author":[{"given":"J.","family":"Blanck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Stoltenberg-Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00065-2_BIB1","series-title":"Lectures in Functional Analysis and Operator Theory","author":"Berberian","year":"1974"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1008632017116","article-title":"Density theorems for the domains-with-totality semantics of dependent types","volume":"7","author":"Berger","year":"1999","journal-title":"Appl. Categorical Struct."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB3","doi-asserted-by":"crossref","unstructured":"L. Birkedal, Developing Theories of Types and Computability, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, 1999.","DOI":"10.1016\/S1571-0661(05)80642-5"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB4","doi-asserted-by":"crossref","unstructured":"L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories, in: Proc. 13th Annual IEEE Symposium on Logic in Computer Science, Indianapolis, IN, 1998, IEEE Computer Society Press, Silver Spring, MD, pp. 188\u2013198.","DOI":"10.1109\/LICS.1998.705655"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0168-0072(96)00017-6","article-title":"Domain representability of metric spaces","volume":"83","author":"Blanck","year":"1997","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0304-3975(98)00282-5","article-title":"Effective domain representations of H(X), the space of compact subsets","volume":"219","author":"Blanck","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0304-3975(99)00045-6","article-title":"Domain representations of topological spaces","volume":"247","author":"Blanck","year":"2000","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB8","series-title":"Prospects for Hardware Foundations","article-title":"Streams, stream transformers and domain representations","volume":"Vol. 1546","author":"Blanck","year":"1998"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB9","unstructured":"V. Brattka, Recursive and computable operations over topological structures, Dissertation, Informatik Berichte 255, FernUniversit\u00e4t Hagen, Fachbereich Informatik, Hagen, July 1999."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0304-3975(98)00284-9","article-title":"Computability on subsets of Euclidean space I: Closed and compact subsets","volume":"219","author":"Brattka","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB11","series-title":"Volume Graphics","year":"2000"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB12","unstructured":"M. Chen, J.V. Tucker, Constructive volume geometry, Technical Report, Department of Computer Science, University of Wales Swansea, 1998."},{"issue":"4","key":"10.1016\/S0304-3975(01)00065-2_BIB13","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/1467-8659.00464","article-title":"Constructive volume geometry","volume":"19","author":"Chen","year":"2000","journal-title":"Comput. Graphics Forum"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB14","series-title":"Volume Graphics","first-page":"97","article-title":"Constructive representations of volumetric environments","author":"Chen","year":"2000"},{"issue":"4","key":"10.1016\/S0304-3975(01)00065-2_BIB15","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/421098","article-title":"Domains for computation in mathematics, physics and exact real arithmetic","volume":"3","author":"Edalat","year":"1997","journal-title":"Bull. Symbolic Logic"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0304-3975(96)00243-5","article-title":"A computational model for metric spaces","volume":"193","author":"Edalat","year":"1998","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB17","doi-asserted-by":"crossref","unstructured":"A. Edalat, A. Lieutier, Foundation of a computable solid modelling, Proc. ACM's Symp. on Solid Modeling \u201999. ACM, 1999.","DOI":"10.1145\/304012.304040"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB18","doi-asserted-by":"crossref","unstructured":"A. Edalat, A. Lieutier, Foundation of a computable solid modelling, Preprint, 2000.","DOI":"10.1145\/304012.304040"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB19","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0304-3975(98)00288-6","article-title":"Computable Banach spaces via domain theory","volume":"219","author":"Edalat","year":"1999","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"10.1016\/S0304-3975(01)00065-2_BIB20","first-page":"97","article-title":"Injective spaces via the filter monad","volume":"22","author":"Escard\u00f3","year":"1997","journal-title":"Topology Proc."},{"issue":"7","key":"10.1016\/S0304-3975(01)00065-2_BIB21","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/MC.1993.274942","article-title":"Volume Graphics","volume":"26","author":"Kaufman","year":"1993","journal-title":"IEEE Comput."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB22","series-title":"Prospects for Hardware Foundations","volume":"Vol. 1546","year":"1998"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB23","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","article-title":"Recursive metric spaces","volume":"55","author":"Moschovakis","year":"1964","journal-title":"Fund. Math."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB24","doi-asserted-by":"crossref","unstructured":"D. Normann, A hierarchy of domains with totality, but without density, in: S.B. Cooper, T.A. Slaman, S.S. Wainer (Eds.), Computability, Enumerability, Unsolvability, Vol. 224 of London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 1996, pp. 233\u2013257.","DOI":"10.1017\/CBO9780511629167.013"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB25","series-title":"Prospects for Hardware Foundations","first-page":"184","article-title":"Hierarchies of spatially-extended systems and synchronous concurrent algorithms","volume":"Vol. 1546","author":"Poole","year":"1998"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB26","unstructured":"D.S. Scott, A new category? Domains, spaces and equivalence relations, Manuscript, 1996."},{"issue":"1","key":"10.1016\/S0304-3975(01)00065-2_BIB27","doi-asserted-by":"crossref","first-page":"185","DOI":"10.2307\/2586596","article-title":"On effective topological spaces","volume":"63","author":"Spreen","year":"1998","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB28","unstructured":"V. Stoltenberg-Hansen, Mathematical theory of domains (Notes for Marktoberdorf 1999). U.U.D.M. Lecture Notes 1999:4, Department of Mathematics, Uppsala University, 1999."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB29","series-title":"Mathematical Theory of Domains","author":"Stoltenberg-Hansen","year":"1994"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB30","unstructured":"V. Stoltenberg-Hansen, J.V. Tucker, Complete local rings as domains, CTCS Report 1.85, University of Leeds, 1985."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB31","doi-asserted-by":"crossref","first-page":"603","DOI":"10.2307\/2274527","article-title":"Complete local rings as domains","volume":"53","author":"Stoltenberg-Hansen","year":"1988","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(06)80002-2","article-title":"Algebraic and fixed point equations over inverse limits of algebras","volume":"87","author":"Stoltenberg-Hansen","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB33","series-title":"Semantics: Foundations and Applications","first-page":"531","article-title":"Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms","volume":"Vol. 666","author":"Stoltenberg-Hansen","year":"1993"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB34","series-title":"Handbook of Logic in Computer Science, Vol. 4","first-page":"357","article-title":"Effective algebra","author":"Stoltenberg-Hansen","year":"1995"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB35","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/S0304-3975(98)00296-5","article-title":"Concrete models of computation for topological algebras","volume":"219","author":"Stoltenberg-Hansen","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB36","series-title":"Handbook of Logic in Computer Science, Vol. 5","article-title":"Computable functions and semicomputable sets on many-sorted algebras","author":"Tucker","year":"1998"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB37","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/S0304-3975(98)00297-7","article-title":"Computation by \u2018While\u2019 programs on topological partial algebras","volume":"219","author":"Tucker","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00065-2_BIB38","series-title":"Computability","author":"Weihrauch","year":"1987"},{"key":"10.1016\/S0304-3975(01)00065-2_BIB39","series-title":"An Introduction to Computable Analysis","author":"Weihrauch","year":"2000"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000652?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000652?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,10]],"date-time":"2020-03-10T11:55:38Z","timestamp":1583841338000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501000652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["S0304397501000652"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00065-2","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}