{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:05Z","timestamp":1749124085513},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615873"},{"type":"electronic","value":"9783540706410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0105416","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T21:17:00Z","timestamp":1320873420000},"page":"363-380","source":"Crossref","is-referenced-by-count":6,"title":["Synthetic domain theory in type theory: Another logic of computable functions"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Reus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,4,29]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"S. Agerholm. A HOL Basis for Reasoning about Functional Programs. PhD thesis, BRICS, University of Aarhus, 1994. Also available as BRICS report RS-94-44.","DOI":"10.7146\/brics.v1i44.21598"},{"key":"24_CR2","unstructured":"R. Burstall and J. McKinna. Deliverables: a categorical approach to program development in type theory. Technical Report ECS-LFCS-92-242, Edinburgh University, 1992."},{"key":"24_CR3","unstructured":"Th. Coquand. An analysis of Girard's paradox. In Proc. 1st Symp. on Logic in Computer Science, pages 227\u2013236. IEEE Computer Soc. Press, 1986."},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0890-5401(92)90019-C","volume":"98","author":"P. Freyd","year":"1992","unstructured":"P. Freyd, P. Mulry, G. Rosolini, and D. Scott. Extensional PERs. Information and Computation, 98:211\u2013227, 1992.","journal-title":"Information and Computation"},{"key":"24_CR5","first-page":"95","volume-title":"Proceedings of the 1990 Como Category Theory Conference, volume 1488 of Lecture Notes in Mathematics","author":"P. Freyd","year":"1991","unstructured":"P. Freyd. Algebraically complete categories. In A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Proceedings of the 1990 Como Category Theory Conference, volume 1488 of Lecture Notes in Mathematics, pages 95\u2013104, Berlin, 1991. Springer."},{"key":"24_CR6","first-page":"131","volume-title":"Proceedings of the 1990 Como Category Theory Conference, volume 1488 of Lecture Notes in Mathematics","author":"J.M.E. Hyland","year":"1991","unstructured":"J.M.E. Hyland. First steps in synthetic domain theory. In A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Proceedings of the 1990 Como Category Theory Conference, volume 1488 of Lecture Notes in Mathematics, pages 131\u2013156, Berlin, 1991. Springer."},{"key":"24_CR7","unstructured":"A. Kock. Synthetic Differential Geometry. Cambridge University Press, 1981."},{"key":"24_CR8","unstructured":"Z. Luo and R. Pollack. Lego proof development system: User's manual. Technical Report ECS-LFCS-92-211, Edinburgh University, 1992."},{"key":"24_CR9","volume-title":"A uniform account of domain theory in realizability models","author":"J.R. Longley","year":"1995","unstructured":"J.R. Longley and A.K. Simpson. A uniform account of domain theory in realizability models. To be submitted to special edition of MSCS for the Workshop on Logic, Domains and Programming Languages, Darmstadt, Germany, 1995."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Z. Luo. Computation and Reasoning \u2014 A Type Theory for Computer Science, volume 11 of Monographs on Computer Science. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538356.001.0001"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"L.C. Paulson. Logic and Computation, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.","DOI":"10.1017\/CBO9780511526602"},{"key":"24_CR12","unstructured":"W.K. Phoa. Domain Theory in Realizability Toposes. PhD thesis, University of Cambridge, 1990. Also available as report ECS-LFCS-91-171, University of Edinburgh."},{"key":"24_CR13","unstructured":"F. Regensburger. HOLCF: Eine konservative Erweiterung von HOL um LCF. PhD thesis, Technische Universit\u00e4t M\u00fcnchen, November 1994."},{"key":"24_CR14","unstructured":"B. Reus. Program Verification in Synthetic Domain Theory. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1995."},{"key":"24_CR15","unstructured":"G. Rosolini. Continuity and effectiveness in topoi. PhD thesis, University of Oxford, 1986."},{"key":"24_CR16","unstructured":"B. Reus and T. Streicher. Naive Synthetic Domain Theory \u2014 a logical approach. Draft, September 1993."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"B. Reus and T. Streicher. Verifying properties of module construction in type theory. In A.M. Borzyszkowski and S. Soko\u0142owski, editors, MFCS'93, volume 711 of Lecture Notes in Computer Science, pages 660\u2013670. Springer, 1993.","DOI":"10.1007\/3-540-57182-5_57"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"T. Streicher. Semantics of Type Theory, Correctness, Completeness and Independence Results. Birkh\u00e4user, 1991.","DOI":"10.1007\/978-1-4612-0433-6"},{"key":"24_CR19","first-page":"152","volume-title":"6th Symp. on Logic in Computer Science","author":"P. Taylor","year":"1991","unstructured":"P. Taylor. The fixed point property in synthetic domain theory. In 6th Symp. on Logic in Computer Science, pages 152\u2013160, Washington, 1991. IEEE Computer Soc. Press."}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0105416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T15:46:37Z","timestamp":1713109597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0105416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615873","9783540706410"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0105416","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}