{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T11:14:02Z","timestamp":1690974842853},"reference-count":20,"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)00109-4","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"159-165","source":"Crossref","is-referenced-by-count":4,"title":["Comparing models of higher type computation"],"prefix":"10.1016","volume":"23","author":[{"given":"G.","family":"Rosolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Th.","family":"Streicher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB1","unstructured":"A. Bauer, L. Birkedal, and D.S. Scott. Equilogical spaces. Submitted for publication a1998"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB2","doi-asserted-by":"crossref","unstructured":"L. Birkedal, A. Carboni, G. Rosolini, and D.S. Scott. Type theory via exact categories. In V. Pratt editor, Proc. 13th Symposium in Logic in Computer Science, pages 188\u2013198, Indianapolis, 1998. I.E.E.E. Computer Society.","DOI":"10.1109\/LICS.1998.705655"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB3","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0022-4049(94)00103-P","article-title":"Some free constructions in realizability and proof theory","volume":"103","author":"Carboni","year":"1995","journal-title":"J. Pure Appl. Alg"},{"issue":"A","key":"10.1016\/S1571-0661(04)00109-4_NEWBIB4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1017\/S1446788700018735","article-title":"The free exact category on left exact one","volume":"33","author":"Carboni","year":"1982","journal-title":"Journ. Austr. Math. Soc"},{"issue":"1\u20132","key":"10.1016\/S1571-0661(04)00109-4_NEWBIB5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0022-4049(93)90087-A","article-title":"An elementary characterization of categories of separate objects","volume":"89","author":"Carboni","year":"1993","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB6","unstructured":"A. Carboni and G. Rosolini. Locally Cartesian closed exact completions, 1998. to appear."},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB7","article-title":"Locally Cartesian closed exact completions","author":"Carboni","year":"1998","journal-title":"J. Pure Appl. Alg"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0022-4049(96)00115-6","article-title":"Regular and exact completions","volume":"125","author":"Carboni","year":"1998","journal-title":"J Pure Appl. Alg"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB9","doi-asserted-by":"crossref","unstructured":"B. Day. Limit spaces and closed span categories. In Category Seminar (proc. Sem., Sydney, 1972\/1973), volume 420 of Lecture Notes in Mathematics, pages 65\u201374. Springer-Verlag, 1974.","DOI":"10.1007\/BFb0063100"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB10","doi-asserted-by":"crossref","unstructured":"E.J. Dubuc. Concrete quasitopoi. In Fourman et all. [11], pagaes 239\u2013279","DOI":"10.1007\/BFb0061821"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB11","doi-asserted-by":"crossref","unstructured":"M. Fourman, C. Mulvey, and D.S. Scostt editor. Application of Sheaves volume 753 of Lecture Notes in Mathematics. Springer-Verlag, 1979.","DOI":"10.1007\/BFb0061811"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB12","doi-asserted-by":"crossref","unstructured":"J.M.E. Hyland. Continuity in spatial toposes. In Fourman et al. [11], pages 442\u2013465.","DOI":"10.1007\/BFb0061827"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB13","doi-asserted-by":"crossref","unstructured":"F.W. Lawvere. Diagonal arguments and Cartesian closed categories. In category Theory, Homology Theory and their Applications, II (Battelle Institute Conference, Seattle, Wash., 1968, Vol. Two), pages 134\u2013145 Springer, Berlin, 1969.","DOI":"10.1007\/BFb0080769"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2274281","article-title":"The hereditary partial effective functionals and recursion theory in higher type","volume":"49","author":"Longo","year":"1984","journal-title":"J. Symb. Logic"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Q.M. Ma and J.C. Reynolds. Types, abstraction, and parametric polymorphism, part 2. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, volume 598 of Lecture Notes in Computer Science, pages 1\u201340 Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55511-0_1"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0022-4049(82)90030-5","article-title":"Generalized Banach-Mazur functionals in the topos fo recursive sets","volume":"26","author":"Mulry","year":"1982","journal-title":"J. Pure Appl. Alg"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB17","doi-asserted-by":"crossref","first-page":"678","DOI":"10.2307\/2274658","article-title":"Colimit completions and the effective topos","volume":"55","author":"Robinson","year":"1990","journal-title":"J. Symb. Logic"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB18","unstructured":"G. Rosolini. Equilogical spaces and filter spaces, 1999. to appear."},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB19","series-title":"To H.B. Curry: essays in combinatory logic lambda calculus and formalisms","first-page":"403","article-title":"Relating theories of \u03bb-calculus","author":"Scott","year":"1980"},{"key":"10.1016\/S1571-0661(04)00109-4_NEWBIB20","series-title":"Lecture notes on topoi and quaistopoi","author":"Wyler","year":"1991"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001094?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001094?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T12:31:07Z","timestamp":1585571467000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999]]}},"alternative-id":["S1571066104001094"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00109-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}