{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:38:05Z","timestamp":1725471485702},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_22","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"323-342","source":"Crossref","is-referenced-by-count":8,"title":["Computational Adequacy in an Elementary Topos"],"prefix":"10.1007","author":[{"given":"Alex K.","family":"Simpson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0026994","volume-title":"Category Theory and Computer Science","author":"A. Bucalo","year":"1997","unstructured":"Bucalo, A., Rosolini, G.: Lifting. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol.\u00a01290. Springer, Heidelberg (1997)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0890-5401(92)90018-B","volume":"98","author":"R.L. Crole","year":"1992","unstructured":"Crole, R.L., Pitts, A.M.: New foundations for fixpoint computations: FIXhyperdoctrines and the FIX-logic. Inf. and Comp.\u00a098, 171\u2013210 (1992)","journal-title":"Inf. and Comp."},{"key":"22_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526565","volume-title":"Axiomatic Domain Theory in Categories of Partial Maps","author":"M.P. Fiore","year":"1996","unstructured":"Fiore, M.P.: Axiomatic Domain Theory in Categories of Partial Maps. Cambridge University Press, Cambridge (1996)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-63172-0_36","volume-title":"Computer Science Logic","author":"M.P. Fiore","year":"1997","unstructured":"Fiore, M.P., Plotkin, G.D.: An extension of models of axiomatic domain theory to models of synthetic domain theory. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol.\u00a01258, pp. 129\u2013149. Springer, Heidelberg (1997)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Fiore, M.P., Rosolini, G.: The category of cpos from a synthetic viepoint. Presented at MFPS XIII (1997)","DOI":"10.1016\/S1571-0661(05)80165-3"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0022-4049(96)00164-8","volume":"116","author":"M.P. Fiore","year":"1997","unstructured":"Fiore, M.P., Rosolini, G.: Two models of synthetic domain theory. Journal of Pure and Applied Algebra\u00a0116, 151\u2013162 (1997)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"22_CR7","unstructured":"Freyd, P.J., Mulry, P., Rosolini, G., Scott, D.S.: Extensional PERs. In: Proc. of 5th Annual Symposium on Logic in Computer Science (1990)"},{"key":"22_CR8","volume-title":"Semantics of Programming Languages","author":"C.A. Gunter","year":"1992","unstructured":"Gunter, C.A.: Semantics of Programming Languages. MIT Press, Cambridge (1992)"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(90)90165-E","volume":"73","author":"H. Huwig","year":"1990","unstructured":"Huwig, H., Poign\u00e9, A.: A note on inconstencies caused by fixpoints in a Cartesian closed category. Theoretical Computer Science\u00a073, 101\u2013112 (1990)","journal-title":"Theoretical Computer Science"},{"key":"22_CR10","series-title":"LNM","volume-title":"Category Theory, Proceedings, Como 1990","author":"J.M.E. Hyland","year":"1990","unstructured":"Hyland, J.M.E.: First steps in synthetic domain theory. In: Category Theory, Proceedings, Como 1990. LNM, vol.\u00a01488. Springer, Heidelberg (1990)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0022-4049(96)00108-9","volume":"116","author":"M. Jibladze","year":"1997","unstructured":"Jibladze, M.: A presentation of the initial lift algebra. Journal of Pure and Applied Algebra\u00a0116, 185\u2013198 (1997)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"22_CR12","series-title":"LMS Lecture Notes","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511752483","volume-title":"Algebraic Set Theory","author":"A. Joyal","year":"1995","unstructured":"Joyal, A., Moerdijk, I.: Algebraic Set Theory. LMS Lecture Notes. CUPress, Cambridge (1995)"},{"key":"22_CR13","series-title":"Cambridge studies in Advanced Mathematics","volume-title":"Introduction to Higher Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher Order Categorical Logic. Cambridge studies in Advanced Mathematics. Cambridge University Press, Cambridge (1986)"},{"key":"22_CR14","unstructured":"Longley, J.R.: Realizability Toposes and Language Semantics. Ph.D. thesis, Department of Computer Science, University of Edinburgh (1995)"},{"key":"22_CR15","first-page":"469","volume":"7","author":"J.R. Longley","year":"1997","unstructured":"Longley, J.R., Simpson, A.K.: A uniform account of domain theory in realizability models. Math. Struct. Comp. Sci.\u00a07, 469\u2013505 (1997)","journal-title":"Comp. Sci."},{"key":"22_CR16","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S.M. Lane","year":"1971","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer, Heidelberg (1971)"},{"key":"22_CR17","volume-title":"Universitext","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: a First Introduction to Topos Theory. In: Universitext. Springer, Heidelberg (1992)"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(90)90154-A","volume":"70","author":"P.S. Mulry","year":"1990","unstructured":"Mulry, P.S.: Categorical fixed-point semantics. Theoretical Computer Science\u00a070, 85\u201397 (1990)","journal-title":"Theoretical Computer Science"},{"key":"22_CR19","volume-title":"Logic Colloquium 1997","author":"J. Oosten van","year":"1997","unstructured":"van Oosten, J.: A combinatory algebra for sequential functionals of higher type. In: Logic Colloquium 1997. Cambridge University Press, Cambridge (1997). Currently available as Preprint 996, Dept. of Mathematics, Utrecht University (1997) (to appear)"},{"key":"22_CR20","unstructured":"van Oosten, J., Simpson, A.K.: Axioms and (Counter)examples in Synthetic Domain Theory. Preprint 1080, Dept. of Mathematics, Utrecht University (1998)"},{"key":"22_CR21","unstructured":"Phoa, W.K.-S.: Effective domains and intrinsic structure. In: Proceedings of 5th Annual Symposium on Logic in Computer Science (1990)"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theoretical Computer Science\u00a05, 223\u2013255 (1977)","journal-title":"Theoretical Computer Science"},{"key":"22_CR23","unstructured":"Plotkin, G.D.: Denotational semantics with partial functions. Lecture notes, CSLI Summer School (1985)"},{"key":"22_CR24","unstructured":"Reus, B.: Program Verification in Synthetic Domain Theory. PhD thesis, University of Munich (1995)"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BFb0026995","volume-title":"Proceedings of CTCS 1997","author":"B. Reus","year":"1997","unstructured":"Reus, B., Streicher, T.: General synthetic domain theory \u2014 a logical approach. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol.\u00a01290, pp. 293\u2013313. Springer, Heidelberg (1997)"},{"key":"22_CR26","unstructured":"Rosolini, G.: Continuity and Effectivity in Topoi. PhD thesis, Oxford (1986)"},{"key":"22_CR27","unstructured":"Rosolini, G.: Notes on Synthetic Domain Theory. Unpublished notes (1995), Available from ftp:\/\/ftp.disi.unige.it\/"},{"key":"22_CR28","series-title":"LNM","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/BFb0061839","volume-title":"Applications of Sheaves","author":"D.S. Scott","year":"1979","unstructured":"Scott, D.S.: Identity and existence in intuitionistic logic. In: Applications of Sheaves. LNM, vol.\u00a0753, pp. 661\u2013696. Springer, Heidelberg (1979)"},{"key":"22_CR29","unstructured":"Simpson, A.K.: Recursive types in Kleisli categories. Unpublished manuscript (1992), Available from ftp:\/\/ftp.dcs.ed.ac.uk\/pub\/als\/Research\/"},{"key":"22_CR30","unstructured":"Simpson, A.K.: Algebraic Compactness in Intuitionistic Set Theory. Presented at PSSL, Edinburgh (October 1995) (in preparation 1999)"},{"key":"22_CR31","unstructured":"Taylor, P.: The fixed point property in synthetic domain theory. In: Proc. of 6th Annual Symposium on Logic in Computer Science (1991)"},{"key":"22_CR32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,18]],"date-time":"2020-04-18T13:45:35Z","timestamp":1587217535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/10703163_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}