{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:14:36Z","timestamp":1743081276335,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875307"},{"type":"electronic","value":"9783540875314"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87531-4_20","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T08:40:53Z","timestamp":1220085653000},"page":"262-277","source":"Crossref","is-referenced-by-count":2,"title":["An Indexed System for Multiplicative Additive Polarized Linear Logic"],"prefix":"10.1007","author":[{"given":"Masahiro","family":"Hamano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryo","family":"Takemura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"20_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Andreoli, J.-M.: Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation\u00a02(3), 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR2","first-page":"1","volume-title":"Proceedings Linear Logic Summer School","author":"R. Blute","year":"2004","unstructured":"Blute, R., Scott, P.J.: Category theory for linear logicians. In: Ruet, P., Ehrhard, T., Girard, J.-Y., Scott, P. (eds.) Proceedings Linear Logic Summer School, pp. 1\u201352. Cambridge University Press, Cambridge (2004)"},{"key":"20_CR3","unstructured":"Bruasse-Bac, A.: Logique lin\u00e9aire index\u00e9e du second ordre, Th\u00e8se de doctorat, Institut de Math\u00e9matiques de Luminy, Universit\u00e9 Aix-Marseille II (2001)"},{"issue":"3","key":"20_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/S0168-0072(99)00040-8","volume":"102","author":"A. Bucciarelli","year":"2000","unstructured":"Bucciarelli, A., Ehrhard, T.: On phase semantics and denotational semantics in multiplicative-additive linear logic. Annals of Pure and Applied Logic\u00a0102(3), 247\u2013282 (2000)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"20_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0168-0072(00)00056-7","volume":"109","author":"A. Bucciarelli","year":"2001","unstructured":"Bucciarelli, A., Ehrhard, T.: On phase semantics and denotational semantics: the exponentials. Annals of Pure and Applied Logic\u00a0109(3), 205\u2013241 (2001)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"20_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(2), 4\u2013101 (2007)","journal-title":"Theory and Applications of Categories"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"340","DOI":"10.2178\/jsl\/1082418530","volume":"69","author":"T. Ehrhard","year":"2004","unstructured":"Ehrhard, T.: A completeness theorem for symmetric product phase spaces. Journal of Symbolic Logic\u00a069(2), 340\u2013370 (2004)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"20_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.-Y. Girard","year":"1991","unstructured":"Girard, J.-Y.: A New Constructive Logic: Classical Logic. Mathematical Structures in Computer Science\u00a01(3), 255\u2013296 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"20_CR9","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0304-3975(99)00055-9","volume":"227","author":"J.-Y. Girard","year":"1999","unstructured":"Girard, J.-Y.: On denotational completeness. Theoretical Computer Science\u00a0227(1), 249\u2013273 (1999) (special issue)","journal-title":"Theoretical Computer Science"},{"key":"20_CR10","series-title":"NATO Series F","first-page":"183","volume-title":"Foundation of Secure Computation","author":"J.-Y. Girard","year":"2000","unstructured":"Girard, J.-Y.: On the meaning of logical rules II: multiplicative\/additive case. In: Foundation of Secure Computation. NATO Series F, vol.\u00a0175, pp. 183\u2013212. IOS Press, Amsterdam (2000)"},{"issue":"3","key":"20_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S096012950100336X","volume":"11","author":"J.-Y. Girard","year":"2001","unstructured":"Girard, J.-Y., Solum, L.: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science\u00a011(3), 301\u2013506 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.apal.2006.09.001","volume":"145","author":"M. Hamano","year":"2007","unstructured":"Hamano, M., Scott, P.: A Categorical Semantics for Polarized MALL. Annals of Pure and Applied logic\u00a0145, 276\u2013313 (2007)","journal-title":"Annals of Pure and Applied logic"},{"key":"20_CR13","unstructured":"Hamano, M., Takemura, R.: A Phase Semantics for Polarized Linear Logic and Second Order Conservativity (submitted, 2007)"},{"key":"20_CR14","unstructured":"Laurent, O.: \u00c9tude de la polarisation en logique, Th\u00e8se de Doctorat, Institut de Math\u00e9matiques de Luminy, Universit\u00e9 Aix-Marseille II (2002)"},{"issue":"1-3","key":"20_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.apal.2004.04.006","volume":"130","author":"O. Laurent","year":"2004","unstructured":"Laurent, O.: Polarized games. Annals of Pure and Applied Logic\u00a0130(1-3), 79\u2013123 (2004)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87531-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:13:27Z","timestamp":1715058807000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87531-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875307","9783540875314"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87531-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}