{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:35:20Z","timestamp":1725471320360},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540454588"},{"type":"electronic","value":"9783540454595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11874683_30","type":"book-chapter","created":{"date-parts":[[2006,9,27]],"date-time":"2006-09-27T13:47:26Z","timestamp":1159364846000},"page":"456-470","source":"Crossref","is-referenced-by-count":1,"title":["Universality Results for Models in Locally Boolean Domains"],"prefix":"10.1007","author":[{"given":"Tobias","family":"L\u00f6w","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/inco.2000.2930","volume":"163","author":"S. Abramsky","year":"2000","unstructured":"Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Inf. Comput.\u00a0163(2), 409\u2013470 (2000)","journal-title":"Inf. Comput."},{"key":"30_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511983504","volume-title":"Domains and lambda-calculi","author":"R.M. Amadio","year":"1998","unstructured":"Amadio, R.M., Curien, P.-L.: Domains and lambda-calculi. Cambridge University Press, New York (1998)"},{"issue":"2","key":"30_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0890-5401(90)90050-R","volume":"86","author":"A. Asperti","year":"1990","unstructured":"Asperti, A.: Stability and computability in coherent domains. Inf. Comput.\u00a086(2), 115\u2013139 (1990)","journal-title":"Inf. Comput."},{"key":"30_CR4","volume-title":"The Lambda Calculus - its syntax and semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus - its syntax and semantics. North-Holland, Amsterdam (1981) (1984)"},{"issue":"2","key":"30_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1006\/inco.1994.1047","volume":"111","author":"R. Cartwright","year":"1994","unstructured":"Cartwright, R., Curien, P.-L., Felleisen, M.: Fully abstract models of observably sequential languages. Information and Computation\u00a0111(2), 297\u2013401 (1994)","journal-title":"Information and Computation"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Harmer, R., McCusker, G.: A fully abstract game semantics for finite nondeterminism. In: LICS, pp. 422\u2013430 (1999)","DOI":"10.1109\/LICS.1999.782637"},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"J.M.E. Hyland","year":"2000","unstructured":"Hyland, J.M.E., Ong, C.-H.L.: On full abstraction for PCF: I. models, observables and the full abstraction problem, ii. dialogue games and innocent strategies, iii. a fully abstract and universal game model. Information and Computation\u00a0163, 285\u2013408 (2000)","journal-title":"Information and Computation"},{"key":"30_CR8","unstructured":"Laird, J.: Bistable biorders: a sequential domain theory (submitted, 2005)"},{"key":"30_CR9","unstructured":"Laird, J.: A semantic analysis of control. PhD thesis, University of Edinburgh (1998)"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.tcs.2005.06.007","volume":"342","author":"J. Laird","year":"2005","unstructured":"Laird, J.: Locally boolean domains. Theoretical Computer Science\u00a0342, 132\u2013148 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"30_CR11","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/S0304-3975(00)00194-8","volume":"266","author":"R. Loader","year":"2001","unstructured":"Loader, R.: Finitary PCF is not decidable. Theor. Comput. Sci.\u00a0266(1-2), 341\u2013364 (2001)","journal-title":"Theor. Comput. Sci."},{"issue":"1-3","key":"30_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0168-0072(01)00110-5","volume":"117","author":"J. Longley","year":"2002","unstructured":"Longley, J.: The sequentially realizable functionals. Ann. Pure Appl. Logic\u00a0117(1-3), 1\u201393 (2002)","journal-title":"Ann. Pure Appl. Logic"},{"key":"30_CR13","unstructured":"L\u00f6w, T.: Locally Boolean Domains and Curien-Lamarche Games. PhD thesis, Technical University of Darmstadt (in prepration, 2006), preliminary version available from: \n \n http:\/\/www.mathematik.tu-darmstadt.de\/~loew\/lbdclg.pdf"},{"key":"30_CR14","unstructured":"Maurel, F.: Un cadre quantitatif pour la Ludique. PhD thesis, Universit\u00e9 Paris 7, Paris (2004)"},{"issue":"1","key":"30_CR15","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1006\/inco.1995.1103","volume":"120","author":"P.W. O\u2019Hearn","year":"1995","unstructured":"O\u2019Hearn, P.W., Riecke, J.G.: Kripke logical relations and PCF. Information and Computation\u00a0120(1), 107\u2013116 (1995)","journal-title":"Information and Computation"},{"issue":"2","key":"30_CR16","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1006\/inco.1996.0052","volume":"127","author":"A.M. Pitts","year":"1996","unstructured":"Pitts, A.M.: Relational properties of domains. Information and Computation\u00a0127(2), 66\u201390 (1996)","journal-title":"Information and Computation"},{"key":"30_CR17","unstructured":"Plotkin, G.D.: Lectures on predomains and partial functions. Course notes, Center for the Study of Language and Information, Stanford (1985)"},{"issue":"6","key":"30_CR18","first-page":"543","volume":"8","author":"B. Reus","year":"1998","unstructured":"Reus, B., Streicher, T.: Classical logic, continuation semantics and abstract machines. J.\u00a0Funct.\u00a0Prog.\u00a08(6), 543\u2013572 (1998)","journal-title":"J.\u00a0Funct.\u00a0Prog."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11874683_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:24:44Z","timestamp":1619508284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11874683_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540454588","9783540454595"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11874683_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}