{"id":"https://openalex.org/W2915034325","doi":"https://doi.org/10.46298/lmcs-18(3:2)2022","title":"Differentials and distances in probabilistic coherence spaces","display_name":"Differentials and distances in probabilistic coherence spaces","publication_year":2022,"publication_date":"2022-08-08","ids":{"openalex":"https://openalex.org/W2915034325","doi":"https://doi.org/10.46298/lmcs-18(3:2)2022","mag":"2915034325"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(3:2)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:2)2022","pdf_url":"https://lmcs.episciences.org/9899/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/9899/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006888140","display_name":"Thomas Ehrhard","orcid":"https://orcid.org/0000-0001-5231-5504"},"institutions":[{"id":"https://openalex.org/I4210117673","display_name":"Institut de Recherche en Informatique Fondamentale","ror":"https://ror.org/02krdtz55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Thomas Ehrhard","raw_affiliation_strings":["Universit de Paris, CNRS, IRIF, F-75013 Paris, France","IRIF"],"affiliations":[{"raw_affiliation_string":"Universit de Paris, CNRS, IRIF, F-75013 Paris, France","institution_ids":["https://openalex.org/I4210117673","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"IRIF","institution_ids":["https://openalex.org/I4210117673"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5006888140"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210117673"],"apc_list":null,"apc_paid":null,"fwci":0.1388,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50742679,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"Volume 18, Issue 3","issue":null,"first_page":null,"last_page":null},"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.723800003528595,"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.723800003528595,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.13009999692440033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.05739999935030937,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8277614116668701},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.7380013465881348},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.5460255146026611},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5256672501564026},{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"Observational equivalence","score":0.5244396328926086},{"id":"https://openalex.org/keywords/differential-calculus","display_name":"Differential calculus","score":0.5071163177490234},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4846080243587494},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.46465983986854553},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.44550880789756775},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38586971163749695},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36138811707496643},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36096319556236267},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2596307396888733}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8277614116668701},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.7380013465881348},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.5460255146026611},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5256672501564026},{"id":"https://openalex.org/C2777721189","wikidata":"https://www.wikidata.org/wiki/Q17121921","display_name":"Observational equivalence","level":2,"score":0.5244396328926086},{"id":"https://openalex.org/C56802139","wikidata":"https://www.wikidata.org/wiki/Q149999","display_name":"Differential calculus","level":2,"score":0.5071163177490234},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4846080243587494},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.46465983986854553},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.44550880789756775},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38586971163749695},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36138811707496643},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36096319556236267},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2596307396888733},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.46298/lmcs-18(3:2)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:2)2022","pdf_url":"https://lmcs.episciences.org/9899/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1902.04836","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.04836","pdf_url":"https://arxiv.org/pdf/1902.04836","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:arXiv.org:2005.12582","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.12582","pdf_url":"https://arxiv.org/pdf/2005.12582","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-02015479v2","is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-02015479","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.archives-ouvertes.fr/hal-02015479","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:HAL:hal-02015479v3","is_oa":true,"landing_page_url":"https://hal.science/hal-02015479","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://lmcs.episciences.org/","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-02346080v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02346080","pdf_url":null,"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":"International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, France. http://www.dagstuhl.de/dagpub/978-3-95977-107-8","raw_type":"Conference papers"},{"id":"pmh:oai:doaj.org/article:7515c298c084480cb3b272e07309c9a3","is_oa":true,"landing_page_url":"https://doaj.org/article/7515c298c084480cb3b272e07309c9a3","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1902.04836","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1902.04836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.48550/arxiv.2005.12582","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2005.12582","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(3:2)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:2)2022","pdf_url":"https://lmcs.episciences.org/9899/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2233425273","display_name":null,"funder_award_id":"ANR-19-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8266173377","display_name":null,"funder_award_id":"19-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2915034325.pdf","grobid_xml":"https://content.openalex.org/works/W2915034325.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W58260654","https://openalex.org/W1532754343","https://openalex.org/W1965630431","https://openalex.org/W2088376608","https://openalex.org/W2102548545","https://openalex.org/W2106143913","https://openalex.org/W2115141955","https://openalex.org/W2156942472","https://openalex.org/W2158542561","https://openalex.org/W2192871021","https://openalex.org/W2206718322","https://openalex.org/W2409783831","https://openalex.org/W2512575065","https://openalex.org/W2560355278","https://openalex.org/W2595263283","https://openalex.org/W2602408076","https://openalex.org/W2798278864","https://openalex.org/W2799180001","https://openalex.org/W2949804971","https://openalex.org/W2951670568","https://openalex.org/W2962743500","https://openalex.org/W2963573740","https://openalex.org/W2964032597","https://openalex.org/W3031132030","https://openalex.org/W3105658135"],"related_works":["https://openalex.org/W116266","https://openalex.org/W12468594","https://openalex.org/W5470256","https://openalex.org/W11967595","https://openalex.org/W751411","https://openalex.org/W8058586","https://openalex.org/W8139930","https://openalex.org/W6327570","https://openalex.org/W2391948","https://openalex.org/W1447836"],"abstract_inverted_index":{"In":[0],"probabilistic":[1,8,45,93],"coherence":[2],"spaces,":[3],"a":[4,51,63,81],"denotational":[5],"model":[6,84],"of":[7,22,36,44,54,57,62,66,101],"functional":[9],"languages,":[10],"morphisms":[11,58,68],"are":[12],"analytic":[13],"and":[14],"therefore":[15],"smooth.":[16],"We":[17],"explore":[18],"two":[19],"related":[20],"applications":[21],"the":[23,34,40,60,74,83,99,102],"corresponding":[24],"derivatives.":[25],"First":[26],"we":[27,49],"show":[28],"how":[29],"derivatives":[30],"allow":[31],"to":[32,59,72,80],"compute":[33],"expectation":[35],"execution":[37],"time":[38],"in":[39,70,98],"weak":[41],"head":[42],"reduction":[43],"PCF":[46],"(pPCF).":[47],"Next":[48],"apply":[50],"general":[52],"notion":[53],"\"local\"":[55],"differential":[56,103],"proof":[61],"Lipschitz":[64],"property":[65],"these":[67],"allowing":[69],"turn":[71],"relate":[73],"observational":[75],"distance":[76,82],"on":[77],"pPCF":[78],"terms":[79],"is":[85],"naturally":[86],"equipped":[87],"with.":[88],"This":[89],"suggests":[90],"that":[91],"extending":[92],"programming":[94],"languages":[95],"with":[96],"derivatives,":[97],"spirit":[100],"lambda-calculus,":[104],"could":[105],"be":[106],"quite":[107],"meaningful.":[108]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}