{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:00:16Z","timestamp":1767927616220,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540645702","type":"print"},{"value":"9783540693536","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028004","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T02:02:06Z","timestamp":1132624926000},"page":"1-17","source":"Crossref","is-referenced-by-count":46,"title":["Call-by-value games"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"McCusker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"1_CR1","unstructured":"S. Abramsky, R. Jagadeesan, and P. Malacaxia. Full abstraction for PCF. Submitted for publication, 1996."},{"key":"1_CR2","unstructured":"S. Abramsky. Axioms for full abstraction and full completeness. In G. Plotkin and C. Sterling, editors, Milner Festschrift. MIT Press, to appear."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"S. Abramsky and G. McCusker. Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions. In P. W. O'Hearn and R. D. Tennent, editors, Algol-like Languages, pages 297\u2013329 of volume 2. Birkha\u00fcser, 1997.","DOI":"10.1007\/978-1-4757-3851-3_10"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"M. P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps. Distinguished Dissertations in Computer Science. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511526565"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"M. P. Fiore and G. D. Plotkin. An axiomatization of computationally adequate domain theoretic models of FPC. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 92\u2013102. IEEE Computer Society Press, 1994.","DOI":"10.1109\/LICS.1994.316083"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"P. J. Freyd. Recursive types reduced to inductive types. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113772"},{"key":"1_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BFb0084215","volume-title":"Proc. 1990 Como Category Theory Conference","author":"P. J. Freyd","year":"1991","unstructured":"P. J. Freyd. Algebraically complete categories. In A. Carboni et al., editors, Proc. 1990 Como Category Theory Conference, pages 95\u2013104, Berlin, 1991. Springer-Verlag. Lecture Notes in Mathematics Vol. 1488."},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear Logic. Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"K. Honda and N. Yoshida. Game theoretic analysis of call-by-value computation. In P. Degano, R. Gorrieri, and A. Marchietti-Spaccamela, editors, Proceedings, 25th International Colloquium on Automata, Languages and Programming: ICALP '97, volume 1256 of Lecture Notes in Computer Science, pages 225\u2013236. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63165-8_180"},{"key":"1_CR10","unstructured":"J. M. E. Hyland and C.-H. L. Ong. On full abstraction for PCF: I, II and III. Submitted for publication, 1996."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(94)90020-5","volume":"69","author":"B. Jacobs","year":"1994","unstructured":"B. Jacobs. Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69:73\u2013106, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1_CR12","unstructured":"G. McCusker. Games and Full Abstraction for a Functional Metalanguage with Recursive Types. PhD thesis, Department of Computing, Imperial College, University of London, 1996."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"G. McCusker. Games and full abstraction for FPC. In Proceedings, Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 174\u2013183. IEEE Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561316"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"H. Nickau. Hereditarily sequential functionals. In Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at St. Petersburg, Lecture notes in Computer Science. Springer, 1994.","DOI":"10.1007\/3-540-58140-5_25"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1006\/inco.1996.0052","volume":"127","author":"A. M. Pitts","year":"1996","unstructured":"A. M. Pitts. Relational properties of domains. Information and Computation, 127:66\u201390, 1996.","journal-title":"Information and Computation"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-57182-5_8","volume-title":"Mathematical Foundations of Computer Science, Proc. 18th Int. Symp., Gda\u0144sk, 1993","author":"A. M. Pitts","year":"1993","unstructured":"A. M. Pitts and I. D. B. Stark. Observable properties of higher order functions that dynamically create local names, or: What's new? In Mathematical Foundations of Computer Science, Proc. 18th Int. Symp., Gda\u0144sk, 1993, volume 711 of Lecture Notes in Computer Science, pages 122\u2013141. Springer-Verlag, Berlin, 1993."},{"key":"1_CR18","unstructured":"A. M. Pitts and I. D. B. Stark. On the observable properties of higher order functions that dynamically create local names (preliminary report). In Workshop on State in Programming Languages, Copenhagen, 1993, pages 31\u201345. ACM SIGPLAN, 1993. Yale Univ. Dept. Computer Science Technical Report YALEU\/DCS\/RR-968."},{"key":"1_CR19","unstructured":"A. M. Pitts. Some notes on inductive and co-inductive techniques in the semantics of functional programs. Notes Series BRIGS-NS-94-5, BRIGS, Department of Computer Science, University of Aarhus, December 1994. vi+135 pp, draft version."},{"key":"1_CR20","doi-asserted-by":"publisher","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\u2013255, 1977.","journal-title":"Theoretical Computer Science"},{"key":"1_CR21","unstructured":"G. Plotkin. Lectures on predomains and partial functions. Notes for a course given at the Center for the Study of Language and Information, Stanford, 1985."},{"key":"1_CR22","unstructured":"J. Power and E. Robinson. Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, 11, 1993."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds. Syntactic control of interference. In Conf. Record 5th ACM Symposium on Principles of Programming Languages, pages 39\u201346, 1978.","DOI":"10.1145\/512760.512766"},{"key":"1_CR24","unstructured":"J. C. Reynolds. The essence of Algol. In Proceedings of the 1981 International Symposium on Algorithmic Languages, pages 345\u2013372. North-Holland, 1981."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"K. Sieber. Relating full abstraction results for different programming languages. In Proceedings of 10th Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, 1990. Springer LNCS 472.","DOI":"10.1007\/3-540-53487-3_58"},{"key":"1_CR26","unstructured":"I. Stark. Names and Higher-Order Functions. PhD thesis, University of Cambridge, Dec 1994."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T00:05:58Z","timestamp":1549325158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645702","9783540693536"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0028004","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}