{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:53:19Z","timestamp":1781855599989,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209114","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T08:14:43Z","timestamp":1530087283000},"page":"374-383","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["What's in a game?"],"prefix":"10.1145","author":[{"given":"Clovis","family":"Eberhart","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, Chamb\u00e9ry, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom","family":"Hirschowitz","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, Chamb\u00e9ry, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. 12th Symposium on Logic in Computer Science IEEE.","author":"IEEE","year":"1997","unstructured":"IEEE 1997. Proc. 12th Symposium on Logic in Computer Science IEEE."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. 30th Symposium on Logic in Computer Science IEEE.","author":"IEEE","year":"2015","unstructured":"IEEE 2015. Proc. 30th Symposium on Logic in Computer Science IEEE."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503003980"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/788020.788891"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"P. Baillot V. Danos T. Ehrhard and L. Regnier. 1997. Believe it or not AJM's Games Model is a Model of Classical Linear Logic See {1} 68--75.","DOI":"10.5555\/788019.788862"},{"key":"e_1_3_2_1_7_1","volume-title":"Degrees of indeterminacy in games. Fundamenta Mathematica LXXVII","author":"Blass A.","year":"1972","unstructured":"A. Blass. 1972. Degrees of indeterminacy in games. Fundamenta Mathematica LXXVII (1972), 151--162."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(92)90059-9"},{"key":"e_1_3_2_1_9_1","unstructured":"N.J. Bowler. 2011. A unified approach to the construction of categories of games. Ph.D. Dissertation. University of Cambridge."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"S. Castellan P. Clairambault and G. Winskel. 2015. The parallel intensionally fully abstract games model of PCF See {2}.","DOI":"10.1109\/LICS.2015.31"},{"key":"e_1_3_2_1_11_1","unstructured":"C. Eberhart and T. Hirschowitz. 2017. Game semantics as a singular functor and definability as geometric realisation. (2017). Preprint hal-01527171."},{"key":"e_1_3_2_1_12_1","unstructured":"C. Eberhart and T. Hirschowitz. 2017. What's in a game? A theory of game models. (2017). Preprint hal-01634162."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31585-5_22"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exx029"},{"key":"e_1_3_2_1_15_1","first-page":"103","article-title":"Relations et carr\u00e9s exacts","volume":"4","author":"Guitart R.","year":"1980","unstructured":"R. Guitart. 1980. Relations et carr\u00e9s exacts. Annales des Sciences Math\u00e9matiques du Qu\u00e9bec 4, 2 (1980), 103--125.","journal-title":"Annales des Sciences Math\u00e9matiques du Qu\u00e9bec"},{"key":"e_1_3_2_1_16_1","unstructured":"R. Harmer. 1999. Games and Full Abstraction for Nondeterministic Languages. Ph.D. Dissertation. Imperial College University of London."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.14"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/788021.788970"},{"key":"e_1_3_2_1_19_1","unstructured":"F. Hatat. 2013. Graphical games and proof theory. Ph.D. Dissertation. Universit\u00e9 de Grenoble."},{"key":"e_1_3_2_1_20_1","unstructured":"M. Hirschowitz. 2004. Jeux abstraits et composition cat\u00e9gorique. Ph.D. Dissertation. Universit\u00e9 Paris-Diderot - Paris VII."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1781794.1781812"},{"key":"e_1_3_2_1_22_1","volume-title":"Full abstraction for fair testing in CCS (expanded version). Logical Methods in Computer Science 10, 4","author":"Hirschowitz T.","year":"2014","unstructured":"T. Hirschowitz. 2014. Full abstraction for fair testing in CCS (expanded version). Logical Methods in Computer Science 10, 4 (2014)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"e_1_3_2_1_24_1","first-page":"46","article-title":"Remarques sur la th\u00e9orie des jeux \u00e0 deux personnes","volume":"1","author":"Joyal A.","year":"1977","unstructured":"A. Joyal. 1977. Remarques sur la th\u00e9orie des jeux \u00e0 deux personnes. Gazette des Sciences Math\u00e9matiques du Qu\u00e9bec 1, 4 (1977), 46--52.","journal-title":"Gazette des Sciences Math\u00e9matiques du Qu\u00e9bec"},{"key":"e_1_3_2_1_25_1","volume-title":"Combinatoire \u00e9num\u00e9rative (Montr\u00e9al 1985) (Lecture Notes in Mathematics)","author":"Joyal A.","unstructured":"A. Joyal. 1986. Foncteurs analytiques et esp\u00e8ces de structure. In Combinatoire \u00e9num\u00e9rative (Montr\u00e9al 1985) (Lecture Notes in Mathematics), Vol. 1234. Springer, 126--159."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"J. Laird. 1997. Full Abstraction for Functional Languages with Control See {1} 58--67.","DOI":"10.5555\/788019.788859"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0615-9"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2845"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.08.018"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_29"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.58"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2392200.2392229"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000017"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/645681.664284"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.13"},{"key":"e_1_3_2_1_38_1","volume-title":"Categorical Homotopy Theory. Number 24 in New Mathematical Monographs","author":"Riehl E.","unstructured":"E. Riehl. 2014. Categorical Homotopy Theory. Number 24 in New Mathematical Monographs. Cambridge University Press."},{"key":"e_1_3_2_1_39_1","volume-title":"Non-deterministic and Probabilistic Innocence.","author":"Tsukada T.","year":"2014","unstructured":"T. Tsukada and C.-H. L. Ong. 2014. Innocent Strategies are Sheaves over Plays---Deterministic, Non-deterministic and Probabilistic Innocence. (2014). arXiv:cs\/1409.2764"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"T. Tsukada and C.-H. L. Ong. 2015. Nondeterminism in Game Semantics via Sheaves See {2}.","DOI":"10.1109\/LICS.2015.30"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.70930\/tac\/p68r8xve"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.70930\/tac\/9l84qqh9"}],"event":{"name":"LICS '18: 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Oxford United Kingdom","acronym":"LICS '18","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE-CS\\DATC IEEE Computer Society","EACSL European Association for Computer Science Logic"]},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209114","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T07:29:34Z","timestamp":1781854174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209114"}},"subtitle":["A theory of game models"],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":42,"alternative-id":["10.1145\/3209108.3209114","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209114","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}