{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:18Z","timestamp":1725484638644},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_13","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:15:38Z","timestamp":1180656938000},"page":"173-187","source":"Crossref","is-referenced-by-count":0,"title":["An Abstract Look at Realizability"],"prefix":"10.1007","author":[{"given":"Edmund","family":"Robinson","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Rosolini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"13_CR1","unstructured":"S. Abramsky. Process realizability. Unpublished notes available at http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/samson.abramsky\/pr209.ps.gz ."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"L. Birkedal. Developing theories of types and computability via realizability. Electronic Notes in Theoretical Computer Science, 34, 2000. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume34.html . The pdf version has active hyperreferences and is therefore the preferred version for reading online.","DOI":"10.1016\/S1571-0661(05)80642-5"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"L. Birkedal. A general notion of realizability. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, June 2000. IEEE Computer Society.","DOI":"10.1109\/LICS.2000.855751"},{"key":"13_CR4","first-page":"188","volume-title":"Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science","author":"L. Birkedal","year":"1998","unstructured":"L. Birkedal, A. Carboni, G. Rosolini, and D.S. Scott. Type theory via exact categories. In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, pages 188\u2013198, Indianapolis, Indiana, June 1998. IEEE Computer Society Press."},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0022-4049(94)00103-P","volume":"103","author":"A. Carboni","year":"1995","unstructured":"A. Carboni. Some free constructions in realizability and proof theory. Journal of Pure and Applied Algebra, 103:117\u2013148, 1995.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"A. Carboni, P. J. Freyd, and A. Scedrov. A categorical approach to realizability and polymorphic types. In M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, volume 298 of Lectures Notes in Computer Science, pages 23\u201342, New Orleans, 1988. Springer-Verlag.","DOI":"10.1007\/3-540-19020-1_2"},{"issue":"A","key":"13_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1017\/S1446788700018735","volume":"33","author":"A. Carboni","year":"1982","unstructured":"A. Carboni and R. Celia Magno. The free exact category on a left exact one. Journal of Australian Mathematical Society, 33(A):295\u2013301, 1982.","journal-title":"Journal of Australian Mathematical Society"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0022-4049(99)00192-9","volume":"154","author":"A. Carboni","year":"2000","unstructured":"A. Carboni and G. Rosolini. Locally cartesian closed exact completions. J.Pure Appl. Alg., 154:103\u2013116, 2000.","journal-title":"J.Pure Appl. Alg."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"S. Eilenberg and G.M. Kelly. Closed categories. In S. Eilenberg, D.K. Harrison, S. Mac Lane, and H. R\u00f6hrl, editors, Categorical Algebra (LaJolla, 1965). Springer-Verlag, 1966.","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"J.M.E. Hyland. The effective topos. In A.S. Troelstra and D. Van Dalen, editors, The L.E.J. Brouwer Centenary Symposium, pages 165\u2013216. North Holland Publishing Company, 1982.","DOI":"10.1016\/S0049-237X(09)70129-6"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1112\/plms\/s3-60.1.1","volume":"60","author":"J.M.E. Hyland","year":"1990","unstructured":"J.M.E. Hyland, E.P. Robinson, and G. Rosolini. The discrete objects in the effective topos. Proceedings of the London Mathematical Society, 60:1\u201336, 1990.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"13_CR12","unstructured":"Peter Lietz and Thomas Streicher. Impredicativity entails untypedness. Submitted for publication, 2000."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"J.R. Longley. Unifying typed and untyped realizability. Electronic note, available at http:\/\/www.dcs.ed.ac.uk\/home\/jrl\/unifying.txt , 1999.","DOI":"10.1016\/S1571-0661(04)00105-7"},{"key":"13_CR14","unstructured":"M. Menni. A characterization of the left exact categories whose exact completions are toposes. Submitted to Journ.Pure Appl.Alg., 1999."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E.P. Robinson","year":"1988","unstructured":"E.P. Robinson and G. Rosolini. Categories of partial maps. Inform. and Comput., 79:95\u2013130, 1988.","journal-title":"Inform. and Comput."},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"678","DOI":"10.2307\/2274658","volume":"55","author":"E.P. Robinson","year":"1990","unstructured":"E.P. Robinson and G. Rosolini. Colimit completions and the effective topos. Journal of Symbolic Logic, 55:678\u2013699, 1990.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR17","unstructured":"G. Rosolini. Continuity and Effectiveness in Topoi. PhD thesis, University of Oxford, 1986."},{"key":"13_CR18","unstructured":"D.S. Scott. Relating theories of the \u03bb-calculus. In R. Hindley and J. Seldin, editors, To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms, pages 403\u2013450. Academic Press, 1980."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"J. van Oosten. History and developments. In L. Birkedal, J. van Oosten, G. Rosolini, and D.S. Scott, editors, Tutorial Workshop on Realizability Semantics, FLoC\u201999, Trento, Italy, 1999, volume 23 of Electronic Notes in Theoretical Computer Science. Elsevier, 1999.","DOI":"10.1016\/S1571-0661(04)00106-9"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:21:00Z","timestamp":1556450460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}