{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T23:40:33Z","timestamp":1682638833140},"reference-count":25,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":5323,"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":[[1999]]},"DOI":"10.1016\/s1571-0661(04)00102-1","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"27-39","source":"Crossref","is-referenced-by-count":0,"title":["Effectivity and Density in Domains"],"prefix":"10.1016","volume":"23","author":[{"given":"Ulrich","family":"Berger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB1","unstructured":"Awodey A., Bauer A., Birkedal L., Hughes J., and Scott., D., Logics of Types and Computation, Manuscript, Carnegie Mellon University, 1998"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB2","unstructured":"Berger U., Totale Objekte und Mengen in der Bereichstheorie, PhD-Thesis, Mathematisches Institut der Universit\u00e4t M\u00fcnchen, 1990"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0168-0072(93)90038-F","article-title":"Total sets and objects in domain theory","volume":"60","author":"Berger","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB4","unstructured":"Berger U., Continuous functionals of dependent and transfinite types, Logic Colloquium '97, 1997"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB5","unstructured":"Blanck J., Domain representability of topological spaces, PhD-thesis, University of Uppsala, 1996"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Blanck J., Stoltenberg-Hansen V., Tucker, J. V., Streams, stream transformers and domain representations, Prospects for hardware foundations, NADA volume, SLNCS 1546, 1998","DOI":"10.1007\/3-540-49254-2_2"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB7","series-title":"Logic Colloquium, 1976","first-page":"455","article-title":"Model C of partial continuous functionals","author":"Ershov","year":"1977"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB8","series-title":"Mathematical Theory of Domains","author":"Griffor","year":"1993"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB9","series-title":"Constructivity in Mathematics","first-page":"81","article-title":"Countable functionals","author":"Kleene","year":"1959"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB10","first-page":"1","article-title":"Recursive functionals and quantifiers of finite type I","volume":"91","author":"Kleene","year":"1959","journal-title":"T.A.M.S"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB11","series-title":"Constructivity in Mathematics","first-page":"101","article-title":"Interpretation of analysis by means of constructive functionals of finite types","author":"Kreisel","year":"1959"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB12","series-title":"Constructivity in Mathematics","first-page":"290","article-title":"Partial Recursive Functionals and Effective Operations","author":"Kreisel","year":"1959"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01270624","article-title":"Interpreting higher computations as types with totality","volume":"33","author":"Kristiansen","year":"1994","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB14","unstructured":"Normann D., Transfinite Hierarchy of Domains with Density, Manuscript, 1993"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB15","unstructured":"D. Normann, Categories of domains with totality, Preprint Series, InsMatht. UniOslov. 4, 1997"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB16","unstructured":"D. Normann, The continuous functionals of finite types over the reals, Preprint Series, InsMatht. UniOslov. 19, 1998"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB17","doi-asserted-by":"crossref","unstructured":"D. Normann, Computability over the partial continuous functionals, Manuscript, InsMatht. UniOslov., 1998","DOI":"10.1016\/S0049-237X(99)80024-X"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB18","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0168-0072(90)90044-3","article-title":"Domain interpretations of Martin-L\u00f6f's partial type theory","volume":"48","author":"Palmgren","year":"1990","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB19","unstructured":"Platek, R. A., Foundations of recursion theory, PhD-thesis, Department of Mathematics, Stanford University, 1966"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB20","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","article-title":"LCF considered as a programming language","volume":"5","author":"Plotkin","year":"1977","journal-title":"TCS"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB21","series-title":"Kreiseliana. About and Around Georg Kreisel","first-page":"335","article-title":"Density and Choice for Total Continuous Functionals","author":"Schwichtenberg","year":"1996"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB22","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","article-title":"Data types as lattics","volume":"5","author":"Scott","year":"1976","journal-title":"SIAM Jour. Comp"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB23","first-page":"577","article-title":"Domains for denotational semantics","volume":"140","author":"Scott","year":"1982","journal-title":"Automata, Languages and Programming, SLNCS"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB24","article-title":"Matemathematical Investigations of Intuitionistic Arithmetic and Analysis","volume":"344","author":"Troelstra","year":"1973","journal-title":"SLNM"},{"key":"10.1016\/S1571-0661(04)00102-1_NEWBIB25","unstructured":"Waagb\u00f8 G., Denotational Semantics for Intuitionistic Type Theory Using a Hierarchy of Domains with Totality, PhD-thesis, University of Oslo, 1997"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001021?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001021?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T23:04:09Z","timestamp":1682636649000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999]]}},"alternative-id":["S1571066104001021"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00102-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}