{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:22:08Z","timestamp":1751660528365,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["20H05703,18K11156"],"award-info":[{"award-number":["20H05703,18K11156"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533373","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Linear-Algebraic Models of Linear Logic as Categories of Modules over \u03a3-Semirings\u2731"],"prefix":"10.1145","author":[{"given":"Takeshi","family":"Tsukada","sequence":"first","affiliation":[{"name":"Chiba University, Japan"}]},{"given":"Kazuyuki","family":"Asada","sequence":"additional","affiliation":[{"name":"Tohoku University, Japan"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"J. Adamek and J. Rosicky. 1994. Locally Presentable and Accessible Categories. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9780511600579 10.1017\/CBO9780511600579","DOI":"10.1017\/CBO9780511600579"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"J. Adamek and J. Rosicky. 1994. Locally Presentable and Accessible Categories. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9780511600579","DOI":"10.1017\/CBO9780511600579"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(91)90020-3"},{"key":"#cr-split#-e_1_3_2_1_3_1.1","doi-asserted-by":"crossref","unstructured":"Rapha\u00eblle Crubill\u00e9 Thomas Ehrhard Michele Pagani and Christine Tasson. 2017. The Free Exponential Modality of Probabilistic Coherence Spaces. In FoSSaCS Vol.\u00a07794. 20-35. https:\/\/doi.org\/10.1007\/978-3-662-54458-7_2 10.1007\/978-3-662-54458-7_2","DOI":"10.1007\/978-3-662-54458-7_2"},{"key":"#cr-split#-e_1_3_2_1_3_1.2","doi-asserted-by":"crossref","unstructured":"Rapha\u00eblle Crubill\u00e9 Thomas Ehrhard Michele Pagani and Christine Tasson. 2017. The Free Exponential Modality of Probabilistic Coherence Spaces. In FoSSaCS Vol.\u00a07794. 20-35. https:\/\/doi.org\/10.1007\/978-3-662-54458-7_2","DOI":"10.1007\/978-3-662-54458-7_2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003729"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004645"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.11.027"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.06.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"#cr-split#-e_1_3_2_1_11_1.1","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. 1989. Towards a geometry of interaction. In Categories in Computer Science and Logic. 69-108. https:\/\/doi.org\/10.1090\/conm\/092\/1003197 10.1090\/conm","DOI":"10.1090\/conm\/092\/1003197"},{"key":"#cr-split#-e_1_3_2_1_11_1.2","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. 1989. Towards a geometry of interaction. In Categories in Computer Science and Logic. 69-108. https:\/\/doi.org\/10.1090\/conm\/092\/1003197","DOI":"10.1090\/conm\/092\/1003197"},{"volume-title":"Advances in Linear Logic, Jean-Yves Girard","author":"Girard J.-Y.","key":"e_1_3_2_1_12_1","unstructured":"J.-Y. Girard . 1995. Linear Logic: its syntax and semantics . In Advances in Linear Logic, Jean-Yves Girard , Yves Lafont, and Laurent Regnier (Eds.). Cambridge University Press , Cambridge , 1\u201342. https:\/\/doi.org\/10.1017\/CBO9780511629150.002 10.1017\/CBO9780511629150.002 J.-Y. Girard. 1995. Linear Logic: its syntax and semantics. In Advances in Linear Logic, Jean-Yves Girard, Yves Lafont, and Laurent Regnier (Eds.). Cambridge University Press, Cambridge, 1\u201342. https:\/\/doi.org\/10.1017\/CBO9780511629150.002"},{"key":"#cr-split#-e_1_3_2_1_13_1.1","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. 2004. Between Logic and Quantic: a Tract. Linear Logic in Computer Science(2004) 346-381. https:\/\/doi.org\/10.1017\/cbo9780511550850.011 10.1017\/cbo9780511550850.011","DOI":"10.1017\/CBO9780511550850.011"},{"key":"#cr-split#-e_1_3_2_1_13_1.2","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. 2004. Between Logic and Quantic: a Tract. Linear Logic in Computer Science(2004) 346-381. https:\/\/doi.org\/10.1017\/cbo9780511550850.011","DOI":"10.1017\/CBO9780511550850.011"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129599003035"},{"key":"#cr-split#-e_1_3_2_1_15_1.1","doi-asserted-by":"crossref","unstructured":"Esfandiar Haghverdi. 2001. Partially Additive Categories and Fully Complete Models of Linear Logic. Typed Lambda Calculi and Applications(2001) 197-216. https:\/\/doi.org\/10.1007\/3-540-45413-6_18 10.1007\/3-540-45413-6_18","DOI":"10.1007\/3-540-45413-6_18"},{"key":"#cr-split#-e_1_3_2_1_15_1.2","doi-asserted-by":"crossref","unstructured":"Esfandiar Haghverdi. 2001. Partially Additive Categories and Fully Complete Models of Linear Logic. Typed Lambda Calculi and Applications(2001) 197-216. https:\/\/doi.org\/10.1007\/3-540-45413-6_18","DOI":"10.1007\/3-540-45413-6_18"},{"key":"e_1_3_2_1_16_1","unstructured":"P Hines and P Scott. 2007. Conditional quantum iteration from categorical traces. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.174.4399&rep=rep1&type=pdf  P Hines and P Scott. 2007. Conditional quantum iteration from categorical traces. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.174.4399&rep=rep1&type=pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.08.014"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00241-9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90020-5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934569"},{"key":"e_1_3_2_1_21_1","volume-title":"Weighted Relational Models of Typed Lambda-Calculi. 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (2013","author":"Laird Jim","year":"2013","unstructured":"Jim Laird , Giulio Manzonetto , Guy McCusker , and Michele Pagani . 2013 . Weighted Relational Models of Typed Lambda-Calculi. 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (2013 ), 301\u2013310. https:\/\/doi.org\/10.1109\/LICS.2013.36 10.1109\/LICS.2013.36 Jim Laird, Giulio Manzonetto, Guy McCusker, and Michele Pagani. 2013. Weighted Relational Models of Typed Lambda-Calculi. 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (2013), 301\u2013310. https:\/\/doi.org\/10.1109\/LICS.2013.36"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90323-8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316060"},{"volume-title":"Algebraic Approaches to Program Semantics","author":"Manes G.","key":"e_1_3_2_1_24_1","unstructured":"Ernest\u00a0 G. Manes and Michael\u00a0 A. Arbib . 1986. Algebraic Approaches to Program Semantics . Springer New York , New York, NY . https:\/\/doi.org\/10.1007\/978-1-4612-4962-7 10.1007\/978-1-4612-4962-7 Ernest\u00a0G. Manes and Michael\u00a0A. Arbib. 1986. Algebraic Approaches to Program Semantics. Springer New York, New York, NY. https:\/\/doi.org\/10.1007\/978-1-4612-4962-7"},{"key":"e_1_3_2_1_25_1","volume-title":"Categorical models of linear logic revisited. July","author":"Melli\u00e8s Paul-Andr\u00e9","year":"2003","unstructured":"Paul-Andr\u00e9 Melli\u00e8s . 2003. Categorical models of linear logic revisited. July ( 2003 ). http:\/\/hal.archives-ouvertes.fr\/hal-00154229%5Cnhttp:\/\/www.pps.univ-paris-diderot.fr\/$$mellies\/papers\/catmodels.ps Paul-Andr\u00e9 Melli\u00e8s. 2003. Categorical models of linear logic revisited. July (2003). http:\/\/hal.archives-ouvertes.fr\/hal-00154229%5Cnhttp:\/\/www.pps.univ-paris-diderot.fr\/$$mellies\/papers\/catmodels.ps"},{"key":"#cr-split#-e_1_3_2_1_26_1.1","doi-asserted-by":"crossref","unstructured":"Paul-Andr\u00e9 Melli\u00e8s Nicolas Tabareau and Christine Tasson. 2009. An Explicit Formula for the Free Exponential Modality of Linear Logic. In ICALP Vol.\u00a028. 247-260. https:\/\/doi.org\/10.1007\/978-3-642-02930-1_21 10.1007\/978-3-642-02930-1_21","DOI":"10.1007\/978-3-642-02930-1_21"},{"key":"#cr-split#-e_1_3_2_1_26_1.2","doi-asserted-by":"crossref","unstructured":"Paul-Andr\u00e9 Melli\u00e8s Nicolas Tabareau and Christine Tasson. 2009. An Explicit Formula for the Free Exponential Modality of Linear Logic. In ICALP Vol.\u00a028. 247-260. https:\/\/doi.org\/10.1007\/978-3-642-02930-1_21","DOI":"10.1007\/978-3-642-02930-1_21"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129516000426"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003450"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535879"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2006.10.001"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.2989\/QM.2008.31.2.2.474"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"#cr-split#-e_1_3_2_1_33_1.1","unstructured":"Takeshi Tsukada and Kazuyuki Asada. 2022. Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings. CoRR abs\/2204.10589(2022). https:\/\/doi.org\/10.48550\/arXiv.2204.10589 arXiv:2204.10589 10.48550\/arXiv.2204.10589"},{"key":"#cr-split#-e_1_3_2_1_33_1.2","doi-asserted-by":"crossref","unstructured":"Takeshi Tsukada and Kazuyuki Asada. 2022. Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings. CoRR abs\/2204.10589(2022). https:\/\/doi.org\/10.48550\/arXiv.2204.10589 arXiv:2204.10589","DOI":"10.1145\/3531130.3533373"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005093"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209157"},{"volume-title":"Linear Logic in Computer Science","author":"Winskel Glynn","key":"e_1_3_2_1_36_1","unstructured":"Glynn Winskel . 2004. Linearity and Nonlinearity in Distributed Computation . In Linear Logic in Computer Science . Cambridge University Press , 151\u2013188. https:\/\/doi.org\/10.1017\/CBO9780511550850.005 10.1017\/CBO9780511550850.005 Glynn Winskel. 2004. Linearity and Nonlinearity in Distributed Computation. In Linear Logic in Computer Science. Cambridge University Press, 151\u2013188. https:\/\/doi.org\/10.1017\/CBO9780511550850.005"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Haifa Israel","acronym":"LICS '22"},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533373","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:10Z","timestamp":1750186930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":43,"alternative-id":["10.1145\/3531130.3533373","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533373","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}