{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:25:12Z","timestamp":1720625112517},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":1062,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1016\/j.entcs.2010.08.010","type":"journal-article","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T11:15:21Z","timestamp":1283598921000},"page":"161-176","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["From Focalization of Logic to the Logic of Focalization"],"prefix":"10.1016","volume":"265","author":[{"given":"Michele","family":"Basaldella","sequence":"first","affiliation":[]},{"given":"Alexis","family":"Saurin","sequence":"additional","affiliation":[]},{"given":"Kazushige","family":"Terui","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.entcs.2010.08.010_br0010","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1017\/S0960129503003980","article-title":"Sequentiality vs. concurrency in games and logic","volume":"13","author":"Abramsky","year":"2003","journal-title":"Mathematical Structures in Computer Science"},{"issue":"3","key":"10.1016\/j.entcs.2010.08.010_br0020","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","article-title":"Logic Programming with Focusing Proofs in Linear Logic","volume":"2","author":"Andreoli","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.entcs.2010.08.010_br0030","unstructured":"Basaldella, M., Saurin, A., Terui, K.: On the meaning of focalization. In: Proceedings of Workshop on Games, Dialogues and Interaction (2009)."},{"key":"10.1016\/j.entcs.2010.08.010_br0040","doi-asserted-by":"crossref","unstructured":"Chaudhuri K.: Focusing Strategies in the Sequent Calculus of Synthetic Connectives. In: Proceedings of Logic for Programming, Artificial Intelligence and Reasoning (2008) 467\u2013481.","DOI":"10.1007\/978-3-540-89439-1_33"},{"issue":"1","key":"10.1016\/j.entcs.2010.08.010_br0050","first-page":"1","article-title":"Introduction to linear logic and ludics, part II","volume":"35","author":"Curien","year":"2006","journal-title":"Advances in Mathematics (China)"},{"key":"10.1016\/j.entcs.2010.08.010_br0060","doi-asserted-by":"crossref","unstructured":"Curien, P.-L., Munch-Maccagnoni, G.: The duality of computation under focus. In: Proceedings of IFIP TCS (2010).","DOI":"10.1007\/978-3-642-15240-5_13"},{"key":"10.1016\/j.entcs.2010.08.010_br0070","doi-asserted-by":"crossref","unstructured":"Faggian, C., Piccolo, M.: Ludics is a model for the finitary linear pi-calculus. In: Proceedings of Typed Lambda Calculi and Applications (2007) 148\u2013162.","DOI":"10.1007\/978-3-540-73228-0_12"},{"issue":"3","key":"10.1016\/j.entcs.2010.08.010_br0080","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.apal.2006.09.001","article-title":"A Categorical Semantics for Polarized MALL","volume":"145","author":"Hamano","year":"2007","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"10.1016\/j.entcs.2010.08.010_br0090","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S096012950100336X","article-title":"Locus solum: From the rules of logic to the logic of rules","volume":"11","author":"Girard","year":"2001","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/j.entcs.2010.08.010_br0100","unstructured":"Laurent, O.: \u00c9tude de la polarization en logique. PhD thesis, Universit\u00e9 Aix-Marseille II (2002)."},{"issue":"1\u20133","key":"10.1016\/j.entcs.2010.08.010_br0110","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.apal.2004.04.006","article-title":"Polarized games","volume":"130","author":"Laurent","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.entcs.2010.08.010_br0120","unstructured":"Laurent, O.: A proof of the focalization property of Linear Logic. Unpublished note (2004)."},{"key":"10.1016\/j.entcs.2010.08.010_br0130","unstructured":"Melli\u00e8s, P.-A.: Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic. In: Proceedings of Logic in Computer Science (2005) 386\u2013395."},{"issue":"5","key":"10.1016\/j.entcs.2010.08.010_br0140","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1016\/j.apal.2009.07.018","article-title":"Resource modalities in tensor logic","volume":"161","author":"Melli\u00e8s","year":"2010","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.entcs.2010.08.010_br0150","doi-asserted-by":"crossref","unstructured":"Miller, D., Saurin, A.: From proofs to focused proofs: a modular proof of focalization in Linear Logic. In: Proceedings of Computer Science Logic. (2007) 405\u2013419.","DOI":"10.1007\/978-3-540-74915-8_31"},{"key":"10.1016\/j.entcs.2010.08.010_br0160","doi-asserted-by":"crossref","unstructured":"Munch-Maccagnoni G.: Focalisation and Classical Realisability In: Proceedings of Computer Science Logic (2009) 409\u2013423.","DOI":"10.1007\/978-3-642-04027-6_30"},{"key":"10.1016\/j.entcs.2010.08.010_br0170","unstructured":"Terui, K.: Computational ludics. (2008) To appear in Theoretical Computer Science."},{"key":"10.1016\/j.entcs.2010.08.010_br0180","unstructured":"Zeilberger, N.: The logical basis of evaluation order and pattern matching. PhD Thesis, Carnegie Mellon University (2009)."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066110000897?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066110000897?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,8]],"date-time":"2018-12-08T07:24:54Z","timestamp":1544253894000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066110000897"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":18,"alternative-id":["S1571066110000897"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2010.08.010","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}