{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:26Z","timestamp":1725489506712},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678953"},{"type":"electronic","value":"9783540446224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44622-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:32:38Z","timestamp":1187253158000},"page":"202-216","source":"Crossref","is-referenced-by-count":6,"title":["Continuous Functionals of Dependent Types and Equilogical Spaces"],"prefix":"10.1007","author":[{"given":"Andrej","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Birkedal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"R.M. Amadio and P.-L. Curien. Domains and Lambda-Calculi, volume 46 of Cambridge Tracts in Theoretical Computer Science Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511983504"},{"key":"13_CR2","unstructured":"A. Bauer, L. Birkedal, and D.S. Scott. Equilogical spaces. Preprint submitted to Elsevier, 1998."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0168-0072(93)90038-F","volume":"60","author":"U. Berger","year":"1993","unstructured":"U. Berger. Total sets and objects in domain theory. Annals of Pure and Applied Logic, 60:91\u2013117, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR4","unstructured":"U. Berger. Continuous Functionals of Dependent and Transitive Types Habilitationsschrift, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1997."},{"key":"13_CR5","unstructured":"U. Berger. Continuous functionals of dependent and transitive types. Short version. Available at http:\/\/www.mathematik.uni-muen chen.de\/~berger\/habil\/lc.dvi.Z. , 1997."},{"key":"13_CR6","unstructured":"L. Birkedal. Developing Theories of Types and Computability PhD thesis, School of Computer Science, Carnegie Mellon University, December 1999. Available as CMU Technical Report: CMU-CS-99-173."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Y.L. Ershov. Model \u2102 for partial continuous functionals. In Logic Colloquium 1976, pages 455\u2013467. North-Holland, 1977.","DOI":"10.1016\/S0049-237X(09)70439-2"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"R.O. Gandy and J.M.E. Hyland. Computable and recursively countable functions of higher type. In R.O. Gandy and J.M.E. Hyland, editors, Logic Colloquium 1976, pages 407\u2013438, Amsterdam, Holland, 1977. North-Holland.","DOI":"10.1016\/S0049-237X(09)70437-9"},{"key":"13_CR9","unstructured":"R. Heckmann. On the relationship between filter spaces and equilogical spaces. Available at http:\/\/www.cs.uni-sb.de\/RW\/users\/heckmann\/domains.html."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"J.M.E. Hyland. Filter spaces and continuous functionals. Annals of Mathematical Logic, 16, 1979.","DOI":"10.1016\/0003-4843(79)90006-8"},{"key":"13_CR11","unstructured":"S.C. Kleene. Countable functionals. In Constructivity in Mathematics, pages 81\u2013100, 1959."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s001530050073","volume":"36","author":"L. Kristiansen","year":"1997","unstructured":"L. Kristiansen and D. Normann. Total objects in inductively defined types. Arch. Math. Logic, 36:405\u2013436, 1997.","journal-title":"Arch. Math. Logic"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"1319","DOI":"10.2307\/2274281","volume":"40","author":"G. Longo","year":"1984","unstructured":"G. Longo and E. Moggi. The heredetarily partial effective functionals and recursion theory in higher types. Journal of Symbolic Logic, 40:1319\u20131332, 1984.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR14","unstructured":"M. Menni and A. Simpson. Topological and limit-space subcategories of countably-based equilogical spaces. Submitted to Math. Struct. in Comp. Science. Available at http:\/\/www.dcs.ed.ac.uk\/home\/als\/Research\/ , November 1999."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"D. Normann. Recursion on the Countable Functionals Number 811 in Lecture Notes in Mathematics. Springer Verlag, 1980.","DOI":"10.1007\/BFb0098600"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"D. Normann. A hierarchy of domains with totality, but without density. In S.B. Cooper, T.A. Slaman, and S.S. Wainer, editors, Computability, Enumerability, Unsolvability, pages 233\u2013257. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511629167.013"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s001530050065","volume":"36","author":"D. Normann","year":"1997","unstructured":"D. Normann. Closing the gap between the continuous functionals and recursion in 3E. Arch. Math. Logic, 36:269\u2013287, 1997.","journal-title":"Arch. Math. Logic"},{"key":"13_CR18","unstructured":"D. Normann. Categories of domains with totality. Available at http:\/\/www.math.uio.no\/~dnormann\/ , June 1998."},{"key":"13_CR19","volume-title":"Handbook of Computability Theory","author":"D. Normann","year":"1998","unstructured":"D. Normann. The continuous functionals. In E.R. Griffor, editor, Handbook of Computability Theory Elsevier, Amsterdam, Holland, 1998."},{"key":"13_CR20","unstructured":"D. Normann and G. Waagb\u00f8. Limit spaces and transfinite types. Available at http:\/\/www.math.uio.no\/~dnormann\/ , 1998."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"G. Plotkin. Full abstraction, totality, and PCF. Mathematical Structures in Computer Science, 1998.","DOI":"10.1017\/S0960129598002692"},{"key":"13_CR22","unstructured":"G. Rosolini. Equilogical spaces and filter spaces. Available at ftp:\/\/ftp.disi.unige.it\/pub\/person\/RosoliniG\/papers\/equsfs.ps.gz , 1999."},{"key":"13_CR23","unstructured":"H. Schwichtenberg. Density and choice for total continuous functionals. In P. Odifreddi, editor, Kreiseliana. About and Around George Kreisel, pages 335\u2013365. A K Peters, 1996."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"V. Stoltenberg-Hansen, I. Lindstr\u00f6m, and E.R. Griffor. Mathematical Theory of Domains Number 22 in Cambridge Tracts in Computer Science. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9781139166386"},{"key":"13_CR25","unstructured":"A.S. Troelstra and D. van Dalen. Constructivism in Mathematics North-Holland, 1988. 2 volumes."},{"key":"13_CR26","unstructured":"G. Waagb\u00f8. Domains-with-totality Semantics for Intuitionistic Type Theory Dr. scient. thesis, The University of Oslo, 1997."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44622-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:17:40Z","timestamp":1556770660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44622-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678953","9783540446224"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44622-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}