{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T03:26:45Z","timestamp":1781839605641,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE48-0010-01"],"award-info":[{"award-number":["ANR-19-CE48-0010-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662092","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["An Analysis of Symmetry in Quantitative Semantics"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3285-6028","authenticated-orcid":false,"given":"Pierre","family":"Clairambault","sequence":"first","affiliation":[{"name":"Aix Marseille Univ, Universit\u00e9 de Toulon, CNRS, LIS, Marseille, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4311-1678","authenticated-orcid":false,"given":"Simon","family":"Forest","sequence":"additional","affiliation":[{"name":"Computer Science, Aix Marseille Univ, CNRS, LIS, Marseille, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-15(1:18)2019"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"Pierre Clairambault and Simon Forest. 2023. The Cartesian Closed Bicategory of Thin Spans of Groupoids. In LICS. 1--13. 10.1109\/LICS56636.2023.10175754","DOI":"10.1109\/LICS56636.2023.10175754"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Pierre Clairambault Federico Olimpieri and Hugo Paquet. 2023. From Thin Concurrent Games to Generalized Species of Structures. In LICS. 1--14. 10.1109\/LICS56636.2023.10175681","DOI":"10.1109\/LICS56636.2023.10175681"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129516000396"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.12.017"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003729"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3164540"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00392-X"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.06.001"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/jdm096"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129521000281"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57887-0_115"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90025-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526619.005"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2020.104645"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.36"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90323-8"},{"key":"e_1_3_2_1_22_1","volume-title":"Template games and differential linear logic","author":"Melli\u00e8s Paul-Andr\u00e9","unstructured":"Paul-Andr\u00e9 Melli\u00e8s. 2019. Template games and differential linear logic. In LICS. IEEE, 1--13."},{"key":"e_1_3_2_1_23_1","unstructured":"Paul-Andr\u00e9 Mellies. 2003. Asynchronous games 1: Uniformity by group invariance."},{"key":"e_1_3_2_1_24_1","volume-title":"Categorical semantics of linear logic. Panoramas et syntheses 27","author":"Mellies Paul-Andr\u00e9","year":"2009","unstructured":"Paul-Andr\u00e9 Mellies. 2009. Categorical semantics of linear logic. Panoramas et syntheses 27 (2009), 15--215."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470617"},{"key":"e_1_3_2_1_26_1","volume-title":"On the Taylor expansion of \u03bb-terms and the groupoid structure of their rigid approximants. Log. Methods Comput. Sci. 18, 1","author":"Olimpieri Federico","year":"2022","unstructured":"Federico Olimpieri and Lionel Vaux Auclair. 2022. On the Taylor expansion of \u03bb-terms and the groupoid structure of their rigid approximants. Log. Methods Comput. Sci. 18, 1 (2022)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Michele Pagani Peter Selinger and Beno\u00eet Valiron. 2014. Applying quantitative semantics to higher-order quantum computing. In POPL. ACM 647--658.","DOI":"10.1145\/2578855.2535879"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005093"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Takeshi Tsukada Kazuyuki Asada and C.-H. Luke Ong. 2018. Species Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic Probabilistic and Quantum Programs. In LICS. ACM 889--898.","DOI":"10.1145\/3209108.3209157"}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Tallinn Estonia","acronym":"LICS '24","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"]},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662092","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:08Z","timestamp":1750290248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":28,"alternative-id":["10.1145\/3661814.3662092","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662092","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}