{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:45:03Z","timestamp":1725489903843},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749141"},{"type":"electronic","value":"9783540749158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74915-8_42","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T01:13:35Z","timestamp":1187918015000},"page":"573-588","source":"Crossref","is-referenced-by-count":0,"title":["A Games Model of Bunched Implications"],"prefix":"10.1007","author":[{"given":"Guy","family":"McCusker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"42_CR1","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/inco.2000.2930","volume":"162","author":"S. Abramsky","year":"2000","unstructured":"Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Information and Computation\u00a0162(2), 409\u2013470 (2000)","journal-title":"Information and Computation"},{"key":"42_CR2","series-title":"Electronic notes in Theoretical Computer Science","volume-title":"Proceedings of 1996 Workshop on Linear Logic","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S., McCusker, G.: Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions. In: Proceedings of 1996 Workshop on Linear Logic. Electronic notes in Theoretical Computer Science, vol.\u00a03, Elsevier, Amsterdam (1996)"},{"key":"42_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-540-27836-8_16","volume-title":"Automata, Languages and Programming","author":"R. Atkey","year":"2004","unstructured":"Atkey, R.: A \u03bb-calculus for resource separation. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 158\u2013170. Springer, Heidelberg (2004)"},{"issue":"2","key":"42_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"162","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. Information and Computation\u00a0162(2), 285\u2013408 (2000)","journal-title":"Information and Computation"},{"key":"42_CR5","volume-title":"Introduction to Higher Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"key":"42_CR6","series-title":"Distinguished Dissertations in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0615-9","volume-title":"Games and Full Abstraction for a Functional Metalanguage with Recursive Types","author":"G. McCusker","year":"1998","unstructured":"McCusker, G.: Games and Full Abstraction for a Functional Metalanguage with Recursive Types. Distinguished Dissertations in Computer Science. Springer, Heidelberg (1998)"},{"key":"42_CR7","series-title":"Lecture notes in Computer Science","volume-title":"Proceedings of the Symposium on Logical Foundations of Computer Science","author":"H. Nickau","year":"1994","unstructured":"Nickau, H.: Hereditarily sequential functionals. In: Proceedings of the Symposium on Logical Foundations of Computer Science, Logic at St. Petersburg. Lecture notes in Computer Science, Springer, Heidelberg (1994)"},{"key":"42_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48959-2_19","volume-title":"Typed Lambda Calculi and Applications","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W.: Resource interpretations, bunched implications and the \u03b1\u2009\u2212\u2009\u03bb-calculus. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol.\u00a01581, pp. 258\u2013279. Springer, Heidelberg (1999)"},{"issue":"2","key":"42_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., Pym, D.J.: The logic of bunched implications. Bulletin of Symbolic Logic\u00a05(2), 215\u2013244 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"issue":"4","key":"42_CR10","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1017\/S0956796802004495","volume":"13","author":"P.W. O\u2019Hearn","year":"2003","unstructured":"O\u2019Hearn, P.W.: On bunched typing. Journal of Functional Programming\u00a013(4), 747\u2013796 (2003)","journal-title":"Journal of Functional Programming"},{"key":"42_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","author":"D.J. Pym","year":"2002","unstructured":"Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic, Dordrecht (2002), Errata available at http:\/\/www.cs.bath.ac.uk\/~pym\/BI-monograph-errata.pdf"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"Pym, D.J., Tofts, C.: Systems modelling via resources and processes: Philosophy, calculus, semantics, and logic. Electronic Notes in Theoretical Computer Science, vol.\u00a0172, pp. 545\u2013587 (2007), Errata available at http:\/\/www.cs.bath.ac.uk\/~pym\/pym-tofts-fac-errata.pdf","DOI":"10.1016\/j.entcs.2007.02.020"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Syntactic control of interference. In: Conf. Record 5th ACM Symposium on Principles of Programming Languages, pp. 39\u201346 (1978)","DOI":"10.1145\/512760.512766"},{"key":"42_CR14","volume-title":"Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS 2002)","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS 2002), IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"42_CR15","unstructured":"Wall, M.: Games for Syntactic Control of Interference. PhD thesis, University of Sussex (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74915-8_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:56Z","timestamp":1619505956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74915-8_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749141","9783540749158"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74915-8_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}