{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:02Z","timestamp":1725490202011},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424963"},{"type":"electronic","value":"9783540446835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44683-4_1","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:32:38Z","timestamp":1188336758000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["A New Category for Semantics"],"prefix":"10.1007","author":[{"given":"Dana S.","family":"Scott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,5]]},"reference":[{"unstructured":"S. Awodey, A. Bauer. Sheaf Toposes for Realizability. April 2001. Preprint CMU-PHIL-117.","key":"1_CR1"},{"unstructured":"A. Bauer, L. Birkedal, D. S. Scott. Equilogical Spaces. September 1998. Revised February 2001. To appear in Theoretical Computer Science.","key":"1_CR2"},{"unstructured":"A. Bauer The Realizability Approach to Computable Analysis and Topology. Ph.D. Thesis. September 2000.","key":"1_CR3"},{"unstructured":"S. Awodey, J. Hughes. The Coalgebraic Dual of Birkhoff\u2019s Variety Theorem. Preprint. October 2000.","key":"1_CR4"},{"unstructured":"L. Birkedal, J. van Oosten. Relative and Modified Relative Realizability. Preprint 1146, Department of Mathematics, Universiteit Utrecht. March 2000.","key":"1_CR5"},{"doi-asserted-by":"crossref","unstructured":"A. Bauer, L. Birkedal. Continuous Functionals of Dependent Types and Equilogical Spaces. Proceedings of Computer Science Logic Conference 2000.","key":"1_CR6","DOI":"10.1007\/3-540-44622-2_13"},{"doi-asserted-by":"crossref","unstructured":"S. Awodey, L. Birkedal, D. S. Scott. Local Realizability Toposes and a Modal Logic for Computability. January 2000. To appear in Math. Struct. in Comp. Sci.","key":"1_CR7","DOI":"10.1016\/S1571-0661(04)00101-X"},{"doi-asserted-by":"crossref","unstructured":"L. Birkedal. A General Notion of Realizability. December 1999. Proceedings of LICS 2000.","key":"1_CR8","DOI":"10.1109\/LICS.2000.855751"},{"doi-asserted-by":"crossref","unstructured":"L. Birkedal. Developing Theories of Types and Computability via Realizability. PhD-thesis. Electronic Notes in Theoretical Computer Science, 34, 2000. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume34.html . December 1999.","key":"1_CR9","DOI":"10.1016\/S1571-0661(05)80642-5"},{"unstructured":"S. Awodey and L. Birkedal. Elementary Axioms for Local Maps of Toposes. Technical Report No. CMU-PHIL103. November 1999. To appear in Journal of Pure and Applied Algebra.","key":"1_CR10"},{"doi-asserted-by":"crossref","unstructured":"S. Awodey. Topological Representation of the Lambda Calculus. September 1998. Mathematical Structures in Computer Science(2000), vol. 10, pp. 81\u201396.","key":"1_CR11","DOI":"10.1017\/S0960129599002972"},{"unstructured":"L. Birkedal, A. Carboni, G. Rosolini, and D. S. Scott. Type Theory via Exact Categories. LICS 1998. July 1998.","key":"1_CR12"},{"unstructured":"D. S. Scott. A New Category?: Domains, Spaces and Equivalence Relations. Unpublished Manuscript. December 1996.","key":"1_CR13"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44683-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:27:40Z","timestamp":1556803660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44683-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424963","9783540446835"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44683-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}