{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T19:24:42Z","timestamp":1694633082929},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2008,7,3]],"date-time":"2008-07-03T00:00:00Z","timestamp":1215043200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s00153-008-0090-6","type":"journal-article","created":{"date-parts":[[2008,7,2]],"date-time":"2008-07-02T12:48:21Z","timestamp":1215002901000},"page":"465-478","source":"Crossref","is-referenced-by-count":0,"title":["Sheaf toposes for realizability"],"prefix":"10.1007","volume":"47","author":[{"given":"Steven","family":"Awodey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrej","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,3]]},"reference":[{"key":"90_CR1","doi-asserted-by":"crossref","unstructured":"Awodey, S., Birkedal, L., Scott, D.S.: Local realizability toposes and a modal logic for computability. In: Birkedal, L., van Oosten, J., Rosolini, G., Scott, D.S. (eds.) Tutorial Workshop on Realizability Semantics, FLoC\u201999, Trento, Italy, 1999. Electronic Notes in Theoretical Computer Science, vol. 23. Math. Stru. Comp. Sci. Elsevier, Amsterdam (1999)","DOI":"10.1016\/S1571-0661(04)00101-X"},{"key":"90_CR2","unstructured":"Bauer, A.: The realizability approach to computable analysis and topology. Ph.D. Thesis, Carnegie Mellon University. Available as CMU technical report CMU-CS-00-164 and at http:\/\/andrej.com\/thesis (2000)"},{"issue":"315","key":"90_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.tcs.2003.11.012","volume":"1","author":"A. Bauer","year":"2004","unstructured":"Bauer A., Birkedal L., Scott D.S.: Equilogical Spaces. Theor. Comput. Sci. 1(315), 35\u201359 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"90_CR4","unstructured":"Birkedal, L.: Developing theories of types and computability. Ph.D. Thesis, School of Computer Science, Carnegie Mellon University. Available as CMU Technical Report: CMU-CS-99-173, December 1999"},{"key":"90_CR5","doi-asserted-by":"crossref","unstructured":"Birkedal, L.: Developing theories of types and computability via realizability. Electronic Notes in Theoretical Computer Science, vol. 34. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume34.html (2000)","DOI":"10.1016\/S1571-0661(05)80642-5"},{"key":"90_CR6","doi-asserted-by":"crossref","unstructured":"Jech, T.: Set Theory, 2nd edn. Springer, Heidelberg (1997)","DOI":"10.1007\/978-3-662-22400-7"},{"issue":"58","key":"90_CR7","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1112\/plms\/s3-58.2.281","volume":"3","author":"P.T. Johnstone","year":"1989","unstructured":"Johnstone P.T., Moerdijk I.: Local maps of toposes. Proc. Lond. Math. Soc. 3(58), 281\u2013305 (1989)","journal-title":"Proc. Lond. Math. Soc."},{"key":"90_CR8","unstructured":"Kleene, S.C.: Countable functionals. In: Constructivity in Mathematics, pp. 81\u2013100 (1959)"},{"key":"90_CR9","volume-title":"The Foundations of Intuitionistic Mathematics, especially in relation to recursive functions","author":"S.C. Kleene","year":"1965","unstructured":"Kleene S.C., Vesley R.E.: The Foundations of Intuitionistic Mathematics, especially in relation to recursive functions. North-Holland Publishing Company, New York (1965)"},{"key":"90_CR10","unstructured":"Longley, J.R.: Realizability toposes and language semantics. Ph.D. Thesis, University of Edinburgh (1994)"},{"key":"90_CR11","volume-title":"Sheaves in Geometry and Logic. A First Introduction to Topos Theory","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane S., Moerdijk I.: Sheaves in Geometry and Logic. A First Introduction to Topos Theory. Springer, New York (1992)"},{"key":"90_CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0022-4049(82)90030-5","volume":"26","author":"P. Mulry","year":"1982","unstructured":"Mulry P.: Generalized Banach\u2013Mazur functionals in the topos of recursive sets. J. Pure Appl. Algebra 26, 71\u201383 (1982)","journal-title":"J. Pure Appl. Algebra"},{"key":"90_CR13","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1987","unstructured":"Rogers H.: Theory of Recursive Functions and Effective Computability. The MIT Press, Cambridge (1987)"},{"key":"90_CR14","unstructured":"Rosolini, G.: Continuity and effectiveness in topoi. Ph.D. Thesis, University of Oxford (1986)"},{"key":"90_CR15","doi-asserted-by":"crossref","unstructured":"Rosolini, P., Streicher. Th.: Comparing models of higher type computation. In: Birkedal, L., van Oosten, J., Rosolini, G., Scott, D.S. (eds.) Tutorial Workshop on Realizability Semantics, FLoC\u201999, Trento, Italy, 1999. Electronic Notes in Theoretical Computer Science, vol. 23. Elsevier, Amsterdam (1999)","DOI":"10.1016\/S1571-0661(04)00109-4"},{"issue":"3","key":"90_CR16","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D.S. Scott","year":"1976","unstructured":"Scott D.S.: Data types as lattices. SIAM J. Comput. 5(3), 522\u2013587 (1976)","journal-title":"SIAM J. Comput."},{"key":"90_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"An Introduction to Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch K.: An Introduction to Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0090-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0090-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0090-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T21:24:40Z","timestamp":1631481880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0090-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,3]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["90"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0090-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,3]]}}}