{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:13:46Z","timestamp":1761930826523,"version":"build-2065373602"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029835","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"265-274","source":"Crossref","is-referenced-by-count":18,"title":["Polarized games"],"prefix":"10.1109","author":[{"given":"O.","family":"Laurent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/LICS.1997.614931"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1016\/S0304-3975(99)00039-0"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1006\/inco.2000.2917"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1017\/S096012950100336X"},{"year":"1999","author":"harmer","journal-title":"Games and full abstraction for nondeterministic languages","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1016\/0304-3975(87)90045-4"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1017\/S0960129500001328"},{"key":"11","first-page":"211","article-title":"LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication","volume":"222","author":"danos","year":"1995","journal-title":"London Mathematical Society Lecture note series"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.2307\/2275572"},{"year":"2002","author":"laurent","journal-title":"Etude de la Polarisation en Logique","key":"21"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/LICS.1995.523280"},{"key":"22","article-title":"Polarized proof-nets and ??-calculus","author":"laurent","year":"2002","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1007\/3-540-48959-2_17"},{"year":"1996","author":"mccusker","journal-title":"Games and Full Abstraction for A Functional Metalanguage with Recursive Types","key":"24"},{"year":"2001","author":"montelatici","journal-title":"Pre?sentation axiomatique de the?ore?mes de comple?tude forte en se?mantique des jeux et en logique classique","key":"25"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1145\/263699.263722"},{"key":"27","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/BFb0013061","article-title":"??-calculus: An algorithmic interpretation of classical natural deduction","volume":"624","author":"parigot","year":"1992","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1017\/S096012950000311X"},{"key":"3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0028004","article-title":"Call-by-value games","volume":"1414","author":"abramsky","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1006\/inco.2000.2930"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/3-540-44802-0_14"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/3-540-56287-7_113"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1016\/0168-0072(92)90073-9"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/LICS.1997.614933"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/LICS.1999.782638"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1016\/S0304-3975(99)00047-X"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/351240.351262"},{"key":"8","first-page":"29","article-title":"On the symmetry of sequentiality","volume":"805","author":"curien","year":"1993","journal-title":"Lecture Notes in Computer Science"}],"event":{"acronym":"LICS-02","name":"17th Annual IEEE Symposium on Logic in Computer Science","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029835.pdf?arnumber=1029835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:42:32Z","timestamp":1497566552000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029835\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029835","relation":{},"subject":[]}}