{"id":"https://openalex.org/W4206365843","doi":"https://doi.org/10.1145/3498692","title":"A relational theory of effects and coeffects","display_name":"A relational theory of effects and coeffects","publication_year":2022,"publication_date":"2022-01-12","ids":{"openalex":"https://openalex.org/W4206365843","doi":"https://doi.org/10.1145/3498692"},"language":"en","primary_location":{"id":"doi:10.1145/3498692","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498692","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498692","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3498692","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084450516","display_name":"Ugo Dal Lago","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ugo Dal Lago","raw_affiliation_strings":["University of Bologna, Italy / Inria, France","Foundations of Component-based Ubiquitous Systems"],"raw_orcid":"https://orcid.org/0000-0001-9200-070X","affiliations":[{"raw_affiliation_string":"University of Bologna, Italy / Inria, France","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081771854","display_name":"Francesco Gavazzo","orcid":"https://orcid.org/0000-0002-2159-0615"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Gavazzo","raw_affiliation_strings":["University of Bologna, Italy / Inria, France","Foundations of Component-based Ubiquitous Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna, Italy / Inria, France","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7746,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.91415527,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"6","issue":"POPL","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.568407416343689},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5282577276229858},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.5118669867515564},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.48060843348503113},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.46461737155914307},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.44590863585472107},{"id":"https://openalex.org/keywords/preorder","display_name":"Preorder","score":0.44288474321365356},{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.43962565064430237},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.42645058035850525},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40778082609176636},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37226539850234985},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.3598499596118927},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.3587246239185333},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.35422950983047485},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.34922558069229126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.324390709400177},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3059729039669037},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.2320021092891693},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.196285218000412},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17995956540107727},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11643892526626587}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.568407416343689},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5282577276229858},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.5118669867515564},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.48060843348503113},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.46461737155914307},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.44590863585472107},{"id":"https://openalex.org/C2333172","wikidata":"https://www.wikidata.org/wiki/Q1425985","display_name":"Preorder","level":2,"score":0.44288474321365356},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.43962565064430237},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.42645058035850525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40778082609176636},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37226539850234985},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3598499596118927},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3587246239185333},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.35422950983047485},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34922558069229126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.324390709400177},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3059729039669037},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.2320021092891693},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.196285218000412},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17995956540107727},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11643892526626587},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3498692","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498692","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498692","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03923470v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-03923470","pdf_url":"https://inria.hal.science/hal-03923470/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-28. ⟨10.1145/3498692⟩","raw_type":"Journal articles"},{"id":"pmh:oai:arpi.unipi.it:11568/1158298","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1158298","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cris.unibo.it:11585/904066","is_oa":true,"landing_page_url":"https://hdl.handle.net/11585/904066","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.research.unipd.it:11577/3510725","is_oa":true,"landing_page_url":"https://hdl.handle.net/11577/3510725","pdf_url":null,"source":{"id":"https://openalex.org/S4377196283","display_name":"Research Padua  Archive (University of Padua)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3498692","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498692","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498692","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G4057764343","display_name":null,"funder_award_id":"818616","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G557875060","display_name":null,"funder_award_id":"201784YSZ5","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4206365843.pdf","grobid_xml":"https://content.openalex.org/works/W4206365843.grobid-xml"},"referenced_works_count":74,"referenced_works":["https://openalex.org/W15833160","https://openalex.org/W111511002","https://openalex.org/W204865569","https://openalex.org/W1508098446","https://openalex.org/W1508489761","https://openalex.org/W1512931629","https://openalex.org/W1513445195","https://openalex.org/W1537995368","https://openalex.org/W1606211906","https://openalex.org/W1678412398","https://openalex.org/W1712407203","https://openalex.org/W1765915613","https://openalex.org/W1969548989","https://openalex.org/W1971256104","https://openalex.org/W1971906578","https://openalex.org/W1973030866","https://openalex.org/W1980827618","https://openalex.org/W1987556478","https://openalex.org/W1988824860","https://openalex.org/W1991984504","https://openalex.org/W1995338553","https://openalex.org/W1997143185","https://openalex.org/W2002241150","https://openalex.org/W2020879982","https://openalex.org/W2026028037","https://openalex.org/W2035063966","https://openalex.org/W2061786858","https://openalex.org/W2067012475","https://openalex.org/W2073764215","https://openalex.org/W2075033069","https://openalex.org/W2090768444","https://openalex.org/W2092367588","https://openalex.org/W2094873755","https://openalex.org/W2097061283","https://openalex.org/W2104412665","https://openalex.org/W2117857673","https://openalex.org/W2126431612","https://openalex.org/W2132734990","https://openalex.org/W2137282578","https://openalex.org/W2150174204","https://openalex.org/W2153644103","https://openalex.org/W2156876717","https://openalex.org/W2159513875","https://openalex.org/W2165407648","https://openalex.org/W2249132795","https://openalex.org/W2314990538","https://openalex.org/W2515656721","https://openalex.org/W2562060745","https://openalex.org/W2574983198","https://openalex.org/W2597297629","https://openalex.org/W2619086274","https://openalex.org/W2745179117","https://openalex.org/W2766220735","https://openalex.org/W2797640271","https://openalex.org/W2798013195","https://openalex.org/W2798712453","https://openalex.org/W2799182172","https://openalex.org/W2926408490","https://openalex.org/W2964755768","https://openalex.org/W2965219905","https://openalex.org/W2965648770","https://openalex.org/W2989806547","https://openalex.org/W2995436578","https://openalex.org/W2999141155","https://openalex.org/W3047163819","https://openalex.org/W3106280144","https://openalex.org/W3117925125","https://openalex.org/W3124832447","https://openalex.org/W3175807317","https://openalex.org/W3202529169","https://openalex.org/W4205175822","https://openalex.org/W4232632148","https://openalex.org/W4236251393","https://openalex.org/W4388298908"],"related_works":["https://openalex.org/W1508777689","https://openalex.org/W2048999490","https://openalex.org/W2010343316","https://openalex.org/W2078105844","https://openalex.org/W1543138809","https://openalex.org/W2483009111","https://openalex.org/W156121174","https://openalex.org/W2383159230","https://openalex.org/W2062969942","https://openalex.org/W1997305605"],"abstract_inverted_index":{"Graded":[0],"modal":[1],"types":[2],"systems":[3],"and":[4,28,40,74,96,107,139,149,170,217],"coeffects":[5,80,127,171],"are":[6,81,154],"becoming":[7],"a":[8,24,93,118,131,182,189],"standard":[9],"formalism":[10],"to":[11,125,196,203],"deal":[12],"with":[13,20,104,167,185],"context-dependent,":[14],"usage-sensitive":[15],"computations,":[16],"especially":[17],"when":[18],"combined":[19,105,168,215],"computational":[21],"effects.":[22],"From":[23],"semantic":[25],"perspective,":[26],"effectful":[27,138],"coeffectful":[29,140],"languages":[30,103,166],"have":[31],"been":[32,44],"studied":[33],"mostly":[34],"by":[35,91],"means":[36],"of":[37,49,51,98,117,137,159,181,188],"denotational":[38],"semantics":[39],"almost":[41],"nothing":[42],"has":[43],"done":[45],"from":[46],"the":[47,57,114,155,174,179,186,199],"point":[48],"view":[50],"relational":[52,110,210],"reasoning.":[53],"This":[54],"gap":[55,90],"in":[56,173],"literature":[58],"is":[59,191,194],"quite":[60],"surprising,":[61],"since":[62],"many":[63],"cornerstone":[64],"results":[65],"\u2014":[66,77],"such":[67,130],"as":[68],"non-interference":[69],",":[70,73,145,148],"metric":[71],"preservation":[72],"proof":[75],"irrelevance":[76],"on":[78],"concrete":[79],"inherently":[82],"relational.":[83],"In":[84],"this":[85,89,206],"paper,":[86],"we":[87,133],"fill":[88],"developing":[92],"general":[94],"theory":[95],"calculus":[97,111],"program":[99,141,160,201],"relations":[100],"for":[101,165,212],"higher-order":[102],"effects":[106,169,216],"coeffects.":[108,218],"The":[109],"builds":[112],"upon":[113],"novel":[115],"notion":[116],"corelator":[119,183],"(or":[120],"comonadic":[121],"lax":[122],"extension":[123],")":[124],"handle":[126],"relationally.":[128],"Inside":[129],"calculus,":[132],"define":[134],"three":[135],"notions":[136,158],"refinements:":[142],"contextual":[143],"approximation":[144],"logical":[146],"preorder":[147],"applicative":[150],"similarity":[151],".":[152],"These":[153],"first":[156],"operationally-based":[157],"refinement":[161],"(and,":[162],"consequently,":[163],"equivalence)":[164],"appearing":[172],"literature.":[175],"We":[176],"show":[177],"that":[178],"axiomatics":[180],"(together":[184],"one":[187],"relator)":[190],"precisely":[192],"what":[193],"needed":[195],"prove":[197],"all":[198],"aforementioned":[200],"refinements":[202],"be":[204],"precongruences,":[205],"way":[207],"obtaining":[208],"compositional":[209],"techniques":[211],"reasoning":[213],"about":[214]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}