{"id":"https://openalex.org/W2909932931","doi":"https://doi.org/10.1109/lics.2019.8785699","title":"Lambda Calculus and Probabilistic Computation","display_name":"Lambda Calculus and Probabilistic Computation","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2909932931","doi":"https://doi.org/10.1109/lics.2019.8785699","mag":"2909932931"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2019.8785699","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785699","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1901.02853","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028757410","display_name":"Claudia Faggian","orcid":"https://orcid.org/0009-0009-8875-3595"},"institutions":[{"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":"Claudia Faggian","raw_affiliation_strings":["CNRS, France"],"affiliations":[{"raw_affiliation_string":"CNRS, France","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111656261","display_name":"Simona Ronchi Della Rocca","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simona Ronchi della Rocca","raw_affiliation_strings":["Univ, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Univ, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028757410"],"corresponding_institution_ids":["https://openalex.org/I1294671590"],"apc_list":null,"apc_paid":null,"fwci":0.289,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64349386,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.7104048728942871},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6814165115356445},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.6041387319564819},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5943496227264404},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.563986599445343},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5312976837158203},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.5176449418067932},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.4996914863586426},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.443767786026001},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4206463098526001},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39042115211486816},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38503047823905945},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3491252064704895},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2212875783443451},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13253188133239746},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08478802442550659},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06334412097930908}],"concepts":[{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.7104048728942871},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6814165115356445},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.6041387319564819},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5943496227264404},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.563986599445343},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5312976837158203},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.5176449418067932},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.4996914863586426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.443767786026001},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4206463098526001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39042115211486816},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38503047823905945},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3491252064704895},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2212875783443451},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13253188133239746},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08478802442550659},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06334412097930908},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/lics.2019.8785699","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785699","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1901.02853","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.02853","pdf_url":"https://arxiv.org/pdf/1901.02853","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":"","raw_type":null},{"id":"mag:2909932931","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1901.02853","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-02411551v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02411551","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":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. pp.1-13, &#x27E8;10.1109/LICS.2019.8785699&#x27E9;","raw_type":"Conference papers"},{"id":"doi:10.48550/arxiv.1901.02853","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1901.02853","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1901.02853","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.02853","pdf_url":"https://arxiv.org/pdf/1901.02853","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":"","raw_type":null},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2909932931.pdf","grobid_xml":"https://content.openalex.org/works/W2909932931.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W602932597","https://openalex.org/W1479772898","https://openalex.org/W1499878068","https://openalex.org/W1545449210","https://openalex.org/W1554598184","https://openalex.org/W1570525939","https://openalex.org/W1890754682","https://openalex.org/W2009776842","https://openalex.org/W2025341469","https://openalex.org/W2050509196","https://openalex.org/W2050807381","https://openalex.org/W2088376608","https://openalex.org/W2088735483","https://openalex.org/W2089565009","https://openalex.org/W2097508818","https://openalex.org/W2121382061","https://openalex.org/W2126605576","https://openalex.org/W2148049665","https://openalex.org/W2151097168","https://openalex.org/W2154273644","https://openalex.org/W2169898528","https://openalex.org/W2206718322","https://openalex.org/W2508102865","https://openalex.org/W2546724314","https://openalex.org/W2580119216","https://openalex.org/W2748775944","https://openalex.org/W2788405769","https://openalex.org/W2809754822","https://openalex.org/W2947043944","https://openalex.org/W2982085742","https://openalex.org/W4244189384","https://openalex.org/W6633126514","https://openalex.org/W6634197073","https://openalex.org/W6639796194","https://openalex.org/W6684848725","https://openalex.org/W6763055421","https://openalex.org/W6765966198"],"related_works":["https://openalex.org/W2966331684","https://openalex.org/W2754782259","https://openalex.org/W2990154007","https://openalex.org/W2949680097","https://openalex.org/W2291724690","https://openalex.org/W2084539672","https://openalex.org/W2040202569","https://openalex.org/W1908505045","https://openalex.org/W1973520397","https://openalex.org/W2117235897","https://openalex.org/W2055962247","https://openalex.org/W1676498955","https://openalex.org/W3151484654","https://openalex.org/W3106178847","https://openalex.org/W3099155063","https://openalex.org/W2963424697","https://openalex.org/W2950202387","https://openalex.org/W1515829561","https://openalex.org/W2900036118","https://openalex.org/W1556311577"],"abstract_inverted_index":{"We":[0,36],"introduce":[1],"two":[2,51,68],"extensions":[3],"of":[4,61,66],"the":[5,58,67],"\u03bb":[6],"-calculus":[7],"with":[8],"a":[9,71,91],"probabilistic":[10,34],"choice":[11],"operator,":[12],"\u039b":[13,21,78],"<sub":[14,22,79],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[15,18,23,26,80,83],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">\u2295</sub>":[16,24,81],"<sup":[17,25,82],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">cbv</sup>":[19],"and":[20,32,42],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">cbn</sup>":[27],",":[28,85],"modeling":[29],"respectively":[30],"call-by-value":[31],"call-by-name":[33],"computation.":[35],"prove":[37],"that":[38],"both":[39],"enjoys":[40],"confluence":[41],"standardization,":[43],"in":[44],"an":[45],"extended":[46],"way:":[47],"we":[48],"revisit":[49],"these":[50],"fundamental":[52],"notions":[53],"to":[54,89],"take":[55],"into":[56],"account":[57],"asymptotic":[59],"behaviour":[60],"terms.":[62],"The":[63],"common":[64],"root":[65],"calculi":[69],"is":[70],"further":[72],"calculus":[73],"based":[74],"on":[75],"Linear":[76],"Logic,":[77],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">!</sup>":[84],"which":[86],"allows":[87],"us":[88],"develop":[90],"unified,":[92],"modular":[93],"approach.":[94]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}