{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T19:58:48Z","timestamp":1770235128777,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":52,"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\/501100021856","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["PRIN 2020TL3X8X"],"award-info":[{"award-number":["PRIN 2020TL3X8X"]}],"id":[{"id":"10.13039\/501100021856","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.3533337","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":4,"title":["Logical Foundations of Quantitative Equality"],"prefix":"10.1145","author":[{"given":"Francesco","family":"Dagnino","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi di Genova, Italy"}]},{"given":"Fabio","family":"Pasquali","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Genova, Italy"}]}],"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":"Andreas Abel and Jean-Philippe Bernardy. 2020. A unified view of modalities in type systems. Procedings of ACM on Programming Languages 4 ICFP(2020) 90:1-90:28. https:\/\/doi.org\/10.1145\/3408972 10.1145\/3408972","DOI":"10.1145\/3408972"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Andreas Abel and Jean-Philippe Bernardy. 2020. A unified view of modalities in type systems. Procedings of ACM on Programming Languages 4 ICFP(2020) 90:1-90:28. https:\/\/doi.org\/10.1145\/3408972","DOI":"10.1145\/3408972"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003730"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209189"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209177"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00046-8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893582.2893591"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2492061"},{"key":"e_1_3_2_1_8_1","volume-title":"Modelling Coeffects in the Relational Semantics of Linear Logic. In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015(LIPIcs, Vol.\u00a041)","author":"Breuvart Flavien","year":"2015","unstructured":"Flavien Breuvart and Michele Pagani . 2015 . Modelling Coeffects in the Relational Semantics of Linear Logic. In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015(LIPIcs, Vol.\u00a041) , Stephan Kreutzer (Ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 567\u2013581. https:\/\/doi.org\/10.4230\/LIPIcs.CSL. 2015.567 10.4230\/LIPIcs.CSL.2015.567 Flavien Breuvart and Michele Pagani. 2015. Modelling Coeffects in the Relational Semantics of Linear Logic. In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015(LIPIcs, Vol.\u00a041), Stephan Kreutzer (Ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 567\u2013581. https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2015.567"},{"key":"e_1_3_2_1_9_1","volume-title":"ESOP 2014(Lecture Notes in Computer Science, Vol.\u00a08410)","author":"Brunel Alo\u00efs","year":"2014","unstructured":"Alo\u00efs Brunel , Marco Gaboardi , Damiano Mazza , and Steve Zdancewic . 2014 . A Core Quantitative Coeffect Calculus. In Programming Languages and Systems - 23rd European Symposium on Programming , ESOP 2014(Lecture Notes in Computer Science, Vol.\u00a08410) , Zhong Shao (Ed.). Springer, 351\u2013370. https:\/\/doi.org\/10.1007\/978-3-642-54833-8_19 10.1007\/978-3-642-54833-8_19 Alo\u00efs Brunel, Marco Gaboardi, Damiano Mazza, and Steve Zdancewic. 2014. A Core Quantitative Coeffect Calculus. In Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014(Lecture Notes in Computer Science, Vol.\u00a08410), Zhong Shao (Ed.). Springer, 351\u2013370. https:\/\/doi.org\/10.1007\/978-3-642-54833-8_19"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2951"},{"key":"e_1_3_2_1_11_1","volume-title":"CONCUR 2014(Lecture Notes in Computer Science, Vol.\u00a08704)","author":"Chatzikokolakis Konstantinos","year":"2014","unstructured":"Konstantinos Chatzikokolakis , Daniel Gebler , Catuscia Palamidessi , and Lili Xu . 2014 . Generalized Bisimulation Metrics. In Concurrency Theory - 25th International Conference , CONCUR 2014(Lecture Notes in Computer Science, Vol.\u00a08704) , Paolo Baldan and Daniele Gorla (Eds.). Springer, 32\u201346. https:\/\/doi.org\/10.1007\/978-3-662-44584-6_4 10.1007\/978-3-662-44584-6_4 Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, and Lili Xu. 2014. Generalized Bisimulation Metrics. In Concurrency Theory - 25th International Conference, CONCUR 2014(Lecture Notes in Computer Science, Vol.\u00a08704), Paolo Baldan and Daniele Gorla (Eds.). Springer, 32\u201346. https:\/\/doi.org\/10.1007\/978-3-662-44584-6_4"},{"key":"e_1_3_2_1_12_1","volume-title":"Coniglio and Francisco Miraglia","author":"E.","year":"1996","unstructured":"Marcelo\u00a0 E. Coniglio and Francisco Miraglia . 1996 . Equality in Linear Logic. Logique et Analyse 39, 153\/154 (1996), 113\u2013151. http:\/\/www.jstor.org\/stable\/44084560 Marcelo\u00a0E. Coniglio and Francisco Miraglia. 1996. Equality in Linear Logic. Logique et Analyse 39, 153\/154 (1996), 113\u2013151. http:\/\/www.jstor.org\/stable\/44084560"},{"key":"e_1_3_2_1_13_1","volume-title":"ESOP 2017(Lecture Notes in Computer Science, Vol.\u00a010201)","author":"Crubill\u00e9 Rapha\u00eblle","year":"2017","unstructured":"Rapha\u00eblle Crubill\u00e9 and Ugo\u00a0Dal Lago . 2017 . Metric Reasoning About \\lambda -Terms: The General Case. In Programming Languages and Systems - 26rd European Symposium on Programming , ESOP 2017(Lecture Notes in Computer Science, Vol.\u00a010201) , Hongseok Yang (Ed.). Springer, 341\u2013367. https:\/\/doi.org\/10.1007\/978-3-662-54434-1_13 10.1007\/978-3-662-54434-1_13 Rapha\u00eblle Crubill\u00e9 and Ugo\u00a0Dal Lago. 2017. Metric Reasoning About \\lambda -Terms: The General Case. In Programming Languages and Systems - 26rd European Symposium on Programming, ESOP 2017(Lecture Notes in Computer Science, Vol.\u00a010201), Hongseok Yang (Ed.). Springer, 341\u2013367. https:\/\/doi.org\/10.1007\/978-3-662-54434-1_13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Francesco Dagnino and Fabio Pasquali. 2022. Logical Foundations of Quantitative Equality (long version). arXiv:2110.05388 Francesco Dagnino and Fabio Pasquali. 2022. Logical Foundations of Quantitative Equality (long version). arXiv:2110.05388","DOI":"10.1145\/3531130.3533337"},{"key":"#cr-split#-e_1_3_2_1_15_1.1","doi-asserted-by":"crossref","unstructured":"Francesco Dagnino and Giuseppe Rosolini. 2021. Doctrines modalities and comonads. Mathematical Structures in Computer Science(2021) 1-30. https:\/\/doi.org\/10.1017\/S0960129521000207 10.1017\/S0960129521000207","DOI":"10.1017\/S0960129521000207"},{"key":"#cr-split#-e_1_3_2_1_15_1.2","doi-asserted-by":"crossref","unstructured":"Francesco Dagnino and Giuseppe Rosolini. 2021. Doctrines modalities and comonads. Mathematical Structures in Computer Science(2021) 1-30. https:\/\/doi.org\/10.1017\/S0960129521000207","DOI":"10.1017\/S0960129521000207"},{"key":"#cr-split#-e_1_3_2_1_16_1.1","doi-asserted-by":"crossref","unstructured":"Ugo Dal Lago and Francesco Gavazzo. 2022. A relational theory of effects and coeffects. Procedings of ACM on Programming Languages 6 POPL(2022) 1-28. https:\/\/doi.org\/10.1145\/3498692 10.1145\/3498692","DOI":"10.1145\/3498692"},{"key":"#cr-split#-e_1_3_2_1_16_1.2","doi-asserted-by":"crossref","unstructured":"Ugo Dal Lago and Francesco Gavazzo. 2022. A relational theory of effects and coeffects. Procedings of ACM on Programming Languages 6 POPL(2022) 1-28. https:\/\/doi.org\/10.1145\/3498692","DOI":"10.1145\/3498692"},{"key":"e_1_3_2_1_17_1","volume-title":"46th International Colloquium on Automata, Languages, and Programming, ICALP 2019(LIPIcs, Vol.\u00a0132)","author":"Lago Ugo Dal","year":"2019","unstructured":"Ugo Dal Lago , Francesco Gavazzo , and Akira Yoshimizu . 2019 . Differential Logical Relations, Part I: The Simply-Typed Case. In 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019(LIPIcs, Vol.\u00a0132) , Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi (Eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 111:1\u2013111:14. https:\/\/doi.org\/10.4230\/LIPIcs.ICALP. 2019.111 10.4230\/LIPIcs.ICALP.2019.111 Ugo Dal Lago, Francesco Gavazzo, and Akira Yoshimizu. 2019. Differential Logical Relations, Part I: The Simply-Typed Case. In 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019(LIPIcs, Vol.\u00a0132), Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi (Eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 111:1\u2013111:14. https:\/\/doi.org\/10.4230\/LIPIcs.ICALP.2019.111"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009890"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Kosta Dozen. 1996. Equality in substructural logics. In Logic: from foundations to applications: European Logic Colloquium W.\u00a0Hodges M.\u00a0Hyland C.\u00a0Steinhorn and J.\u00a0K. Truss (Eds.). Kosta Dozen. 1996. Equality in substructural logics. In Logic: from foundations to applications: European Logic Colloquium W.\u00a0Hodges M.\u00a0Hyland C.\u00a0Steinhorn and J.\u00a0K. Truss (Eds.).","DOI":"10.1093\/oso\/9780198538622.003.0004"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2020.106445"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951939"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209149"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90386-T"},{"key":"e_1_3_2_1_26_1","volume-title":"Linear Realizability","author":"Hoshino Naohiko","unstructured":"Naohiko Hoshino . 2007. Linear Realizability . In Computer Science Logic, Jacques Duparc and Thomas\u00a0A. Henzinger (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 420\u2013434. Naohiko Hoshino. 2007. Linear Realizability. In Computer Science Logic, Jacques Duparc and Thomas\u00a0A. Henzinger (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 420\u2013434."},{"key":"e_1_3_2_1_27_1","unstructured":"Bart P.\u00a0F. Jacobs. 2001. Categorical Logic and Type Theory. Studies in logic and the foundations of mathematics Vol.\u00a0141. North-Holland. Bart P.\u00a0F. Jacobs. 2001. Categorical Logic and Type Theory. Studies in logic and the foundations of mathematics Vol.\u00a0141. North-Holland."},{"key":"e_1_3_2_1_28_1","volume-title":"FOSSACS 2018(Lecture Notes in Computer Science, Vol.\u00a010803)","year":"2018","unstructured":"Shin-ya Katsumata. 2018 . A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. In Foundations of Software Science and Computation Structures - 21st International Conference , FOSSACS 2018(Lecture Notes in Computer Science, Vol.\u00a010803) , Christel Baier and Ugo\u00a0Dal Lago (Eds.). Springer, 110\u2013127. https:\/\/doi.org\/10.1007\/978-3-319-89366-2_6 10.1007\/978-3-319-89366-2_6 Shin-ya Katsumata. 2018. A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. In Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018(Lecture Notes in Computer Science, Vol.\u00a010803), Christel Baier and Ugo\u00a0Dal Lago (Eds.). Springer, 110\u2013127. https:\/\/doi.org\/10.1007\/978-3-319-89366-2_6"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676969"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02924844"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/017\/0257175"},{"key":"e_1_3_2_1_33_1","first-page":"445","article-title":"Elementary quotient completion","volume":"27","author":"Maietti Maria Emilia","year":"2013","unstructured":"Maria Emilia Maietti and Giuseppe Rosolini . 2013 . Elementary quotient completion . Theory Appl. Categ. 27 , 17 (2013), 445 \u2013 463 . Maria Emilia Maietti and Giuseppe Rosolini. 2013. Elementary quotient completion. Theory Appl. Categ. 27, 17 (2013), 445\u2013463.","journal-title":"Theory Appl. Categ."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-013-0080-2"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-013-9360-5"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934518"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005102"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470662"},{"key":"e_1_3_2_1_39_1","volume-title":"ESOP 2021(Lecture Notes in Computer Science, Vol.\u00a012648)","author":"Moon Benjamin","year":"2021","unstructured":"Benjamin Moon , Harley\u00a0Eades III, and Dominic Orchard . 2021 . Graded Modal Dependent Type Theory. In Programming Languages and Systems - 30th European Symposium on Programming , ESOP 2021(Lecture Notes in Computer Science, Vol.\u00a012648) , Nobuko Yoshida (Ed.). Springer, 462\u2013490. https:\/\/doi.org\/10.1007\/978-3-030-7 2019-3_17 10.1007\/978-3-030-72019-3_17 Benjamin Moon, Harley\u00a0Eades III, and Dominic Orchard. 2021. Graded Modal Dependent Type Theory. In Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021(Lecture Notes in Computer Science, Vol.\u00a012648), Nobuko Yoshida (Ed.). Springer, 462\u2013490. https:\/\/doi.org\/10.1007\/978-3-030-72019-3_17"},{"key":"#cr-split#-e_1_3_2_1_40_1.1","doi-asserted-by":"crossref","unstructured":"Dominic Orchard Vilem-Benjamin Liepelt and Harley\u00a0Eades III. 2019. Quantitative program reasoning with graded modal types. Procedings of ACM on Programming Languages 3 ICFP(2019) 110:1-110:30. https:\/\/doi.org\/10.1145\/3341714 10.1145\/3341714","DOI":"10.1145\/3341714"},{"key":"#cr-split#-e_1_3_2_1_40_1.2","doi-asserted-by":"crossref","unstructured":"Dominic Orchard Vilem-Benjamin Liepelt and Harley\u00a0Eades III. 2019. Quantitative program reasoning with graded modal types. Procedings of ACM on Programming Languages 3 ICFP(2019) 110:1-110:30. https:\/\/doi.org\/10.1145\/3341714","DOI":"10.1145\/3341714"},{"key":"e_1_3_2_1_41_1","volume-title":"A Co-free Construction for Elementary Doctrines. Appl. Categ. Structures 23 (01","author":"Pasquali Fabio","year":"2015","unstructured":"Fabio Pasquali . 2015. A Co-free Construction for Elementary Doctrines. Appl. Categ. Structures 23 (01 Feb 2015 ), 29\u201341. https:\/\/doi.org\/10.1007\/s10485-013-9358-z 10.1007\/s10485-013-9358-z Fabio Pasquali. 2015. A Co-free Construction for Elementary Doctrines. Appl. Categ. Structures 23 (01 Feb 2015), 29\u201341. https:\/\/doi.org\/10.1007\/s10485-013-9358-z"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628160"},{"key":"e_1_3_2_1_43_1","volume-title":"Handbook of logic in computer science","author":"Pitts M.","unstructured":"Andrew\u00a0 M. Pitts . 2000. Categorical logic . In Handbook of logic in computer science , Vol. 5 . Handbook of Logic in Computer Science, Vol.\u00a05. Oxford Univ. Press , New York, 39\u2013128. Andrew\u00a0M. Pitts. 2000. Categorical logic. In Handbook of logic in computer science, Vol. 5. Handbook of Logic in Computer Science, Vol.\u00a05. Oxford Univ. Press, New York, 39\u2013128."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863568"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Robert Seely. 1989. Linear logic *-autonomous categories and cofree coalgebras. Contemp. Math. 92(1989). Robert Seely. 1989. Linear logic *-autonomous categories and cofree coalgebras. Contemp. Math. 92(1989).","DOI":"10.1090\/conm\/092\/1003210"},{"key":"e_1_3_2_1_46_1","volume-title":"Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015(Lecture Notes in Computer Science, Vol.\u00a09034), Andrew\u00a0M","author":"V\u00e1k\u00e1r Matthijs","unstructured":"Matthijs V\u00e1k\u00e1r . 2015. A Categorical Semantics for Linear Logical Frameworks . In Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015(Lecture Notes in Computer Science, Vol.\u00a09034), Andrew\u00a0M . Pitts (Ed.). Springer , 102\u2013116. https:\/\/doi.org\/10.1007\/978-3-662-46678-0_7 10.1007\/978-3-662-46678-0_7 Matthijs V\u00e1k\u00e1r. 2015. A Categorical Semantics for Linear Logical Frameworks. In Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015(Lecture Notes in Computer Science, Vol.\u00a09034), Andrew\u00a0M. Pitts (Ed.). Springer, 102\u2013116. https:\/\/doi.org\/10.1007\/978-3-662-46678-0_7"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.035"},{"key":"e_1_3_2_1_48_1","volume-title":"FORTE 2014(Lecture Notes in Computer Science, Vol.\u00a08461)","author":"Xu Lili","year":"2014","unstructured":"Lili Xu , Konstantinos Chatzikokolakis , and Huimin Lin . 2014 . Metrics for Differential Privacy in Concurrent Systems. In Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP International Conference , FORTE 2014(Lecture Notes in Computer Science, Vol.\u00a08461) , Erika \u00c1brah\u00e1m and Catuscia Palamidessi (Eds.). Springer, 199\u2013215. https:\/\/doi.org\/10.1007\/978-3-662-43613-4_13 10.1007\/978-3-662-43613-4_13 Lili Xu, Konstantinos Chatzikokolakis, and Huimin Lin. 2014. Metrics for Differential Privacy in Concurrent Systems. In Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP International Conference, FORTE 2014(Lecture Notes in Computer Science, Vol.\u00a08461), Erika \u00c1brah\u00e1m and Catuscia Palamidessi (Eds.). Springer, 199\u2013215. https:\/\/doi.org\/10.1007\/978-3-662-43613-4_13"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Haifa Israel","acronym":"LICS '22","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"]},"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.3533337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:09Z","timestamp":1750186929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":52,"alternative-id":["10.1145\/3531130.3533337","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533337","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"}}]}}