{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:24Z","timestamp":1725665004948},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626886"},{"type":"electronic","value":"9783540684381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62688-3_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:49:12Z","timestamp":1330278552000},"page":"99-111","source":"Crossref","is-referenced-by-count":1,"title":["Logical reconstruction of bi-domains"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Bucciarelli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky, R. Jagadeesan, P. Malacaria. Full abstraction for PCF (Extended Abstract). Proc. of TACS 94, Lecture Notes in Computer Science 789, 1\u201315, Springer, 1994.","DOI":"10.1007\/3-540-57887-0_87"},{"key":"7_CR2","unstructured":"G. Berry. Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des \u03bb-calculs typ\u00e9s, Th\u00e8se de Doctorat d'Etat, Universit\u00e9 Paris VII, 1979."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry. Stable models of typed lambda-calculi. Proc. 5th Int. Coll. on Automata, Languages and Programming, Lecture Notes in Computer Science 62, 72\u201389, Springer, 1978.","DOI":"10.1007\/3-540-08860-1_7"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/S0304-3975(82)80002-9","volume":"20","author":"G. Berry","year":"1982","unstructured":"G. Berry and P.L. Curien. Sequential algorithms on concrete data structures. Theoretical Computer Science 20, 265\u2013231, 1982.","journal-title":"Theoretical Computer Science"},{"key":"7_CR5","unstructured":"A. Bucciarelli. Logical relations and \u03bb-theories. Proc. Imperial College Theory and Formal Methods Section Workshop, to appear, 1996."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"A. Bucciarelli, T. Ehrhard. Sequentiality and Strong Stability. Proc. 6th Int. Symp. on Logic in Computer Science, 138\u2013145, IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151638"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"A. Bucciarelli, T. Ehrhard. Extensional embedding of a strongly stable model of PCF. Proc. 18th Int. Coll. on Automata, Languages and Programming, Lecture Notes in Computer Science 510, 35\u201344, Springer, 1991.","DOI":"10.1007\/3-540-54233-7_123"},{"issue":"Number2","key":"7_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1006\/inco.1994.1033","volume":"110","author":"A. Bucciarelli","year":"1994","unstructured":"A. Bucciarelli, T. Ehrhard. Sequentiality in an extensional framework. Information and Computation, Volume 110, Number 2, 265\u2013296, 1994.","journal-title":"Information and Computation"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"P.L. Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Revised edition, Birkh\u00e4user, 1993.","DOI":"10.1007\/978-1-4612-0317-9"},{"key":"7_CR10","unstructured":"T. Ehrhard. A relative definability result for strongly stable functions and some corollaries. Submitted paper, available at http:\/\/ida.dcs.qmw.ac.uk\/authors\/E\/EhrhardT\/, 1996."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"H. Friedman. Equality between functionals. Proc. Logic Colloquium, Lecture Notes in Mathematics 453, 22\u201337, Springer, 1973.","DOI":"10.1007\/BFb0064870"},{"key":"7_CR12","unstructured":"J.M.E. Hyland, L. Ong. On full abstraction for PCF: I, II and III. 133pp, submitted paper, 1994."},{"key":"7_CR13","unstructured":"T. Jim, A. Meyer. Full Abstraction and the Context Lemma. Proc. Theoretical Aspects of Comp. Sci. 1991, Lecture Notes in Computer Science 526, 131\u2013151, Springer, 1991."},{"key":"7_CR14","unstructured":"R. Loader. Finitary PCF is not decidable. Unpublished notes, available at http:\/\/info.ox.ac.uk\/loader. 1996."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell. Type Systems for Programming Languages Handbook of Theoretical Computer Science, Volume B, edited by J. van Leeuwen, 365\u2013458, Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"7_CR16","unstructured":"P. O'Hearn, J. Riecke. Kripke Logical Relations and PCF. To appear in Information and Computation."},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. Plotkin","year":"1977","unstructured":"G. Plotkin. LCF considered as a programming language. Theoretical Computer Science 5, 223\u2013256, 1977.","journal-title":"Theoretical Computer Science"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0304-3975(93)90095-B","volume":"121","author":"D. Scott","year":"1993","unstructured":"D. Scott. A type theoretic alternative to CUCH, ISWIM, OWHY. Theoretical Computer Science 121, 411\u2013440, 1993. Manuscript circulated since 1969.","journal-title":"Theoretical Computer Science"},{"key":"7_CR19","series-title":"BRICS Report Series 94-13","volume-title":"Stable Bistructure Models of PCF","author":"G. Winskel","year":"1994","unstructured":"G. Winskel. Stable Bistructure Models of PCF. BRICS Report Series 94-13, Departement of Computer Science, University of Aarhus, Denmark, 1994."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62688-3_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:01Z","timestamp":1605629641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62688-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626886","9783540684381"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-62688-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}