{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:33Z","timestamp":1751983653595},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008972"},{"type":"electronic","value":"9783540365761"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36576-1_20","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T02:42:17Z","timestamp":1181616137000},"page":"313-327","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Game Semantics of Linearly Used Continuations"],"prefix":"10.1007","author":[{"given":"James","family":"Laird","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"20_CR1","unstructured":"M. Abadi and M. P. Fiore. Syntactic considerations on recursive types. In Proceedings of the Eleventh Annual Symposium on Logic in Computer Science, LICS\u2019 96, 1996."},{"key":"20_CR2","unstructured":"S. Abramsky. Axioms for full abstraction and full completeness. In Essays in Honour of Robin Milner. MIT Press, 1997."},{"key":"20_CR3","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Call-by-value games","author":"S. Abramsky","year":"1998","unstructured":"S. Abramsky and G. McCusker. Call-by-value games. In M. Neilsen and W. Thomas, editors, Computer Science Logic: 11th Annual workshop proceedings, LNCS, pages 1\u201317. Springer-Verlag, 1998."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/inco.2000.2930","volume":"163","author":"S. Abramsky","year":"2000","unstructured":"S. Abramsky, R. Jagadeesan and P. Malacaria. Full abstraction for PCF. Information and Computation, 163:409\u2013470, 2000.","journal-title":"Information and Computation"},{"key":"20_CR5","unstructured":"A. Barber. Dual intuitionistic linear logic. Technical Report ECS-LFCS-96-347, LFCS, University of Edinburgh, 1996."},{"issue":"2\/3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/A:1020891112409","volume":"15","author":"J. Berdine","year":"2002","unstructured":"Josh Berdine, Peter O'Hearn, Uday Reddy, and Hayo Thielecke. Linear continuation-passing. Higher Order Symbolic Computation, 15(2\/3):181\u2013208, September 2002.","journal-title":"Higher Order Symbolic Computation"},{"key":"20_CR7","unstructured":"Josh Berdine, Peter W. O'Hearn, and Hayo Thielecke. On affine typing and completeness of cps. Draft, December 2000."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/3-540-45793-3_30","volume-title":"Computer Science Logic","author":"Claudia Faggian","year":"2002","unstructured":"C. Faggian and J. M. E. Hyland. Designs disputes and strategies. In Proccedings of CSL '02, 2002."},{"key":"20_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/3-540-45788-7_10","volume-title":"Linearly used effects: monadic and cps transformations into the linear lambda calculus","author":"M. Hasegawa","year":"2002","unstructured":"M. Hasegawa. Linearly used effects: monadic and cps transformations into the linear lambda calculus. In Proc. 6th International Symposium on Functional and Logic Programming (FLOPS2002), Aizu, number 2441 in LNCS, pages 167\u2013182. Springer, 2002."},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"J. M. E. Hyland","year":"2000","unstructured":"J. M. E. Hyland and C.-H. L. Ong. On full abstraction for PCF: I, II and III. Information and Computation, 163:285\u2013408, 2000.","journal-title":"Information and Computation"},{"key":"20_CR11","unstructured":"J. Laird. Full abstraction for functional languages with control. In Proceedings of the Twelfth International Symposium on Logic In Computer Science, LICS\u2019 97. IEEE Computer Society Press, 1997."},{"key":"20_CR12","unstructured":"J. Laird. A Semantic Analysis of Control. PhD thesis, Department of Computer Science, University of Edinburgh, 1998."},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Finite models and full completeness","author":"J. Laird","year":"2000","unstructured":"J. Laird. Finite models and full completeness. In Proceedings of CSL\u2019 00, number 1862 in LNCS. Springer, 2000."},{"key":"20_CR14","unstructured":"J. Laird. A fully abstract game semantics of local exceptions. In Proceedings of the Sixteenth International Symposium on Logic In Computer Science, LICS\u2019 01. IEEE Computer Society Press, 2001."},{"key":"20_CR15","unstructured":"O. Laurent. Polarized games. In Proceedings of the Seventeenth International Symposium on Logic In Computer Science, LICS\u2019 02, 2002."},{"key":"20_CR16","unstructured":"G. McCusker. Games and full abstraction for a functional metalanguage with recursive types. PhD thesis, Imperial College London, 1996."},{"key":"20_CR17","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":"20_CR18","unstructured":"T. Streicher. A domain equation for the designs of Ludics. 2002."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36576-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,10]],"date-time":"2020-02-10T04:23:10Z","timestamp":1581308590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36576-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008972","9783540365761"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36576-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"28 February 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}