{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:58:53Z","timestamp":1725562733245},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152047"},{"type":"electronic","value":"9783642152054"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15205-4_19","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T14:48:24Z","timestamp":1281710904000},"page":"215-229","source":"Crossref","is-referenced-by-count":3,"title":["A Logic of Sequentiality"],"prefix":"10.1007","author":[{"given":"Martin","family":"Churchill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Laird","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: LICS 1998: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, p. 334. IEEE Computer Society, Washington (1998)","DOI":"10.1109\/LICS.1998.705669"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Axioms for definability and full completeness. In: Proof, language, and interaction: essays in honour of Robin Milner, pp. 55\u201375 (2000)","DOI":"10.7551\/mitpress\/5641.003.0007"},{"issue":"2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. J. Symb. Logic\u00a059(2), 543\u2013574 (1994)","journal-title":"J. Symb. Logic"},{"key":"#cr-split#-19_CR4.1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., McCusker, G.: Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions: Extended Abstract. Electronic Notes in Theoretical Computer Science??3, 2???14 (1996);","DOI":"10.1016\/S1571-0661(05)80398-6"},{"key":"#cr-split#-19_CR4.2","unstructured":"Linear Logic 1996 Tokyo Meeting"},{"issue":"1-3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"Blass, A.: A game semantics for linear logic. Annals of Pure and Applied Logic\u00a056(1-3), 183\u2013220 (1992)","journal-title":"Annals of Pure and Applied Logic"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-58027-1_2","volume-title":"Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics","author":"P.-L. Curien","year":"1994","unstructured":"Curien, P.-L.: On the symmetry of sequentiality. In: Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, pp. 29\u201371. Springer, London (1994)"},{"issue":"03","key":"19_CR7","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S096012950100336X","volume":"11","author":"J.-Y. Girard","year":"2001","unstructured":"Girard, J.-Y.: Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science\u00a011(03), 301\u2013506 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"404","DOI":"10.2178\/bsl\/1182353895","volume":"8","author":"J. Hintikka","year":"2002","unstructured":"Hintikka, J.: Hyperclassical logic (a.k.a. if logic) and its implications for logical theory. The Bulletin of Symbolic Logic\u00a08(3), 404\u2013423 (2002)","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"2","key":"19_CR9","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, II, and III. Inf. Comput.\u00a0163(2), 285\u2013408 (2000)","journal-title":"Inf. Comput."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Hyland, M., Schalk, A.: Games on graphs and sequentially realizable functionals (extended abstract). In: Symposium on Logic in Computer Science, p. 257 (2002)","DOI":"10.1109\/LICS.2002.1029834"},{"key":"19_CR11","unstructured":"Janelidze, G., Kelly, G.M.: A note on actions of a monoidal category (2001)"},{"issue":"1-3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0168-0072(03)00023-X","volume":"123","author":"G. Japaridze","year":"2003","unstructured":"Japaridze, G.: Introduction to computability logic. Annals of Pure and Applied Logic\u00a0123(1-3), 1\u201399 (2003)","journal-title":"Annals of Pure and Applied Logic"},{"key":"19_CR13","unstructured":"Laird, J.: A categorical semantics of higher order store. In: Proceedings, 9th Conference on Category Theory and Computer Science, CTCS 2002. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2002)"},{"key":"#cr-split#-19_CR14.1","doi-asserted-by":"crossref","unstructured":"Laird, J.: Locally Boolean domains. Theoretical Computer Science??342(1), 132???148 (2005);","DOI":"10.1016\/j.tcs.2005.06.007"},{"key":"#cr-split#-19_CR14.2","unstructured":"Applied Semantics: Selected Topics"},{"key":"19_CR15","unstructured":"Laird, J.: Functional programs as coroutines: A semantic analysis. Logical Methods in Computer Science (to appear)"},{"key":"19_CR16","unstructured":"Lamarche, F.: Sequentiality, games and linear logic. In: Proceedings, CLICS workshop, Aarhus University. DAIMI-397\u2013II (1992)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Lamarche, F.: Games semantics for full propositional linear logic. In: LICS, pp. 464\u2013473 (1995)","DOI":"10.1109\/LICS.1995.523280"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Laurent, O.: Polarized games. In: Proceedings of 17th Annual IEEE Symposium on Logic in Computer Science, pp. 265\u2013274 (2002)","DOI":"10.1109\/LICS.2002.1029835"},{"key":"19_CR19","unstructured":"Longley, J., Wolverson, N.: Eriskay: a programming language based on game semantics. In: Games for Logic and Programming Languages III Workshop (2008)"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2009.07.087","volume":"249","author":"J. Longley","year":"2009","unstructured":"Longley, J.: Some programming languages suggested by game models (extended abstract). Electronic Notes in Theoretical Computer Science\u00a0249, 117\u2013134 (2009); Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"McCusker, G.: Games and full abstraction for FPC. In: Proceedings of Eleventh Annual IEEE Symposium on Logic in Computer Science, LICS 1996, July 1996, pp. 174\u2013183 (1996)","DOI":"10.1109\/LICS.1996.561316"},{"key":"#cr-split#-19_CR22.1","doi-asserted-by":"crossref","unstructured":"Melli??s, P.-A., Tabareau, N.: Resource modalities in tensor logic. Annals of Pure and Applied Logic??161(5), 632???653 (2010);","DOI":"10.1016\/j.apal.2009.07.018"},{"key":"#cr-split#-19_CR22.2","unstructured":"The Third workshop on Games for Logic and Programming Languages (GaLoP), Galop 2008"},{"key":"19_CR23","unstructured":"Wolverson, N.: Game Semantics for an object-orientated language. PhD thesis, University of Edinburgh (2008)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15205-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T12:44:43Z","timestamp":1711716283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15205-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152047","9783642152054"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15205-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}