{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:27:10Z","timestamp":1725496030885},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770497"},{"type":"electronic","value":"9783540770503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77050-3_16","type":"book-chapter","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T08:39:22Z","timestamp":1196066362000},"page":"192-203","source":"Crossref","is-referenced-by-count":1,"title":["A Theory for Game Theories"],"prefix":"10.1007","author":[{"given":"Michel","family":"Hirschowitz","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Hirschowitz","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Hirschowitz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Semantics and Logics of Computation, chapter Semantics of interaction, pp. 1\u201331. Cambridge University Press (1997)","DOI":"10.1017\/CBO9780511526619.002"},{"key":"16_CR2","first-page":"334","volume-title":"Proceedings of the thirteenth annual symposium on Logic In Computer Science","author":"S. Abramsky","year":"1998","unstructured":"Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: Proceedings of the thirteenth annual symposium on Logic In Computer Science, pp. 334\u2013344. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"2","key":"16_CR3","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. Information and Computation\u00a0163(2), 409\u2013470 (2000)","journal-title":"Information and Computation"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(99)00047-X","volume":"227","author":"S. Abramsky","year":"1999","unstructured":"Abramsky, S., McCusker, G.: Full abstraction for Idealized Algol with passive expressions. Theoretical Computer Science\u00a0227, 3\u201342 (1999)","journal-title":"Theoretical Computer Science"},{"key":"16_CR5","first-page":"431","volume-title":"Proceedings of the fourteenth annual symposium on Logic In Computer Science","author":"S. Abramsky","year":"1999","unstructured":"Abramsky, S., Melli\u00e9s, P.-A.: Concurrent games and full completeness. In: Proceedings of the fourteenth annual symposium on Logic In Computer Science, pp. 431\u2013442. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"16_CR6","first-page":"4","volume":"18","author":"R. Cockett","year":"2007","unstructured":"Cockett, R., Seely, R.: Polarized category theory, modules, and game semantics. Theory and Applications of Categories\u00a018, 4\u2013101 (2007)","journal-title":"Theory and Applications of Categories"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"Danos, V., Regnier, L.: The structure of multiplicatives. Archive for Mathematical Logic\u00a028, 181\u2013203 (1989)","journal-title":"Archive for Mathematical Logic"},{"key":"16_CR8","unstructured":"Harmer, R.: Games and Full Abstraction for Nondeterministic Languages. Ph.D. thesis, Imperial College and University of London (1999)"},{"key":"16_CR9","unstructured":"Harmer, R.: Innocent game semantics, Course notes (2005)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Harmer, R., Hyland, M., Melli\u00e8s, P.-A.: Categorical combinatorics for innocent strategies. Technical report, Paris 7 University (2007)","DOI":"10.1109\/LICS.2007.14"},{"key":"16_CR11","unstructured":"Hirschowitz, M.: Jeux abstraits et composition cat\u00e9gorique. Th\u00e8se de doctorat, Universit\u00e9 Paris VII (2004)"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"M. Hyland","year":"2000","unstructured":"Hyland, M., Ong, L.: On full abstraction for PCF. Information and Computation\u00a0163(2), 285\u2013408 (2000)","journal-title":"Information and Computation"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/LICS.1997.614931","volume-title":"Proceedings of the twelfth annual symposium on Logic In Computer Science","author":"J. Laird","year":"1997","unstructured":"Laird, J.: Full abstraction for functional languages with control. In: Proceedings of the twelfth annual symposium on Logic In Computer Science, pp. 58\u201367. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"16_CR14","unstructured":"Laurent, O.: S\u00e9mantique des jeux. Course notes (Paris VII) (2004)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1017\/S0960129501003498","volume":"12","author":"P..-A.. Melli\u00e9s","year":"2002","unstructured":"Melli\u00e9s, P.-A.: Double categories: a modular model of multiplicative linear logic. Mathematical Structures in Computer Science\u00a012, 449\u2013479 (2002)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77050-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:08:47Z","timestamp":1606183727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77050-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540770497","9783540770503"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77050-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}