{"id":"https://openalex.org/W3157764981","doi":"https://doi.org/10.46298/lmcs-19(4:1)2023","title":"Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)","display_name":"Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)","publication_year":2023,"publication_date":"2023-10-10","ids":{"openalex":"https://openalex.org/W3157764981","doi":"https://doi.org/10.46298/lmcs-19(4:1)2023","mag":"3157764981"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-19(4:1)2023","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-19(4:1)2023","pdf_url":"http://lmcs.episciences.org/12383/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":"http://lmcs.episciences.org/12383/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027732469","display_name":"Joseph W. N. Paulus","orcid":"https://orcid.org/0000-0002-1711-9361"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Joseph W. N. Paulus","raw_affiliation_strings":["University of Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002326512","display_name":"Daniele Nantes-Sobrinho","orcid":"https://orcid.org/0000-0002-1959-8730"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]},{"id":"https://openalex.org/I4210116315","display_name":"Bio-Bras","ror":"https://ror.org/01ng1nj07","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210116315"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["BR","GB"],"is_corresponding":false,"raw_author_name":"Daniele Nantes-Sobrinho","raw_affiliation_strings":["Imperial College London, UK and","University of Braslia, Brazil","University of Bras\u00edlia, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, UK and","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"University of Braslia, Brazil","institution_ids":["https://openalex.org/I4210116315"]},{"raw_affiliation_string":"University of Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034548013","display_name":"Jorge A. P\u00e9rez","orcid":"https://orcid.org/0000-0002-1452-6180"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jorge A. P\u00e9rez","raw_affiliation_strings":["University of Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027732469"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00148645,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 19, Issue 4","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":1.0,"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":1.0,"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.9987999796867371,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"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/correctness","display_name":"Correctness","score":0.7757010459899902},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.603113055229187},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.5676286220550537},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.5471339821815491},{"id":"https://openalex.org/keywords/determinism","display_name":"Determinism","score":0.5356065630912781},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5319545269012451},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.521948516368866},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5205700993537903},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.470704048871994},{"id":"https://openalex.org/keywords/church-encoding","display_name":"Church encoding","score":0.4625415802001953},{"id":"https://openalex.org/keywords/dependent-type","display_name":"Dependent type","score":0.4162313640117645},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.4145182967185974},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.3835993707180023},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3779735565185547},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3505798876285553},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33781084418296814},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2793940007686615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0938183069229126}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7757010459899902},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.603113055229187},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.5676286220550537},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.5471339821815491},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.5356065630912781},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5319545269012451},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.521948516368866},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5205700993537903},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.470704048871994},{"id":"https://openalex.org/C77736955","wikidata":"https://www.wikidata.org/wiki/Q1089708","display_name":"Church encoding","level":5,"score":0.4625415802001953},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.4162313640117645},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.4145182967185974},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.3835993707180023},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3779735565185547},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3505798876285553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33781084418296814},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2793940007686615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0938183069229126},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.46298/lmcs-19(4:1)2023","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-19(4:1)2023","pdf_url":"http://lmcs.episciences.org/12383/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:pure.rug.nl:openaire/003e40cb-8b76-467b-90ed-e62a0ab7570f","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/003e40cb-8b76-467b-90ed-e62a0ab7570f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Paulus, J, Nantes-Sobrinho, D & P\u00e9rez, J A 2023, 'Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)', Logical Methods in Computer Science, vol. 19, no. 4. https://doi.org/10.46298/lmcs-19(4:1)2023","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:arXiv.org:2104.14759","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.14759","pdf_url":"https://arxiv.org/pdf/2104.14759","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:doaj.org/article:0117e6998a2f401aa9443b06066087df","is_oa":true,"landing_page_url":"https://doaj.org/article/0117e6998a2f401aa9443b06066087df","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)","raw_type":"article"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/003e40cb-8b76-467b-90ed-e62a0ab7570f","is_oa":true,"landing_page_url":"https://research.rug.nl/files/804256103/2104.14759.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Paulus, J, Nantes-Sobrinho, D & P\u00e9rez, J A 2023, 'Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)', Logical Methods in Computer Science, vol. 19, no. 4. https://doi.org/10.46298/lmcs-19(4:1)2023","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.rug.nl:publications/003e40cb-8b76-467b-90ed-e62a0ab7570f","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/003e40cb-8b76-467b-90ed-e62a0ab7570f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Paulus, J, Nantes-Sobrinho, D & P\u00e9rez, J A 2023, 'Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)', Logical Methods in Computer Science, vol. 19, no. 4. https://doi.org/10.46298/lmcs-19(4:1)2023","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.4230/lipics.fscd.2021.21","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2021.21","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.46298/lmcs-19(4:1)2023","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-19(4:1)2023","pdf_url":"http://lmcs.episciences.org/12383/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":[{"id":"https://metadata.un.org/sdg/8","score":0.46000000834465027,"display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G1813352051","display_name":"VeTSpec: Verified Trustworthy Software Specification","funder_award_id":"EP/R034567/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4789459991","display_name":"Unifying Correctness for Communicating Software","funder_award_id":"016.Vidi.189.046","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3157764981.pdf","grobid_xml":"https://content.openalex.org/works/W3157764981.grobid-xml"},"referenced_works_count":66,"referenced_works":["https://openalex.org/W13842973","https://openalex.org/W52305328","https://openalex.org/W192070947","https://openalex.org/W1527432636","https://openalex.org/W1528473059","https://openalex.org/W1534772435","https://openalex.org/W1537467263","https://openalex.org/W1589550381","https://openalex.org/W1607623316","https://openalex.org/W1784055113","https://openalex.org/W1941373452","https://openalex.org/W1965630431","https://openalex.org/W1981303668","https://openalex.org/W1982545996","https://openalex.org/W1983656353","https://openalex.org/W2002689571","https://openalex.org/W2008838944","https://openalex.org/W2021990421","https://openalex.org/W2031709122","https://openalex.org/W2036037932","https://openalex.org/W2056253254","https://openalex.org/W2060992753","https://openalex.org/W2063043413","https://openalex.org/W2083331063","https://openalex.org/W2086566890","https://openalex.org/W2087381628","https://openalex.org/W2088376608","https://openalex.org/W2099670992","https://openalex.org/W2115141955","https://openalex.org/W2128932399","https://openalex.org/W2131083969","https://openalex.org/W2153557668","https://openalex.org/W2153961574","https://openalex.org/W2158244462","https://openalex.org/W2170626879","https://openalex.org/W2192871021","https://openalex.org/W2295577580","https://openalex.org/W2331388232","https://openalex.org/W2461655671","https://openalex.org/W2491070407","https://openalex.org/W2494576483","https://openalex.org/W2497305782","https://openalex.org/W2506452794","https://openalex.org/W2594993942","https://openalex.org/W2597686129","https://openalex.org/W2709548225","https://openalex.org/W2760585651","https://openalex.org/W2779912584","https://openalex.org/W2797067244","https://openalex.org/W2900180041","https://openalex.org/W2963934842","https://openalex.org/W2964032597","https://openalex.org/W3022089194","https://openalex.org/W3030375490","https://openalex.org/W3110083871","https://openalex.org/W3133338253","https://openalex.org/W3139764299","https://openalex.org/W3155673021","https://openalex.org/W3184753544","https://openalex.org/W4200632119","https://openalex.org/W4230977852","https://openalex.org/W4233636389","https://openalex.org/W4244174860","https://openalex.org/W4254539388","https://openalex.org/W4300182568","https://openalex.org/W6761162981"],"related_works":["https://openalex.org/W3123171335","https://openalex.org/W21537352","https://openalex.org/W2146437601","https://openalex.org/W2189323991","https://openalex.org/W2503698052","https://openalex.org/W1762925969","https://openalex.org/W32986836","https://openalex.org/W125309690","https://openalex.org/W2804798465","https://openalex.org/W1458664253"],"abstract_inverted_index":{"We":[0,62],"study":[1],"encodings":[2],"of":[3,13,67,81,103],"the":[4,7,10,20,38,79],"lambda-calculus":[5],"into":[6,69],"pi-calculus":[8,45],"in":[9,30,46,86,91,99],"unexplored":[11],"case":[12],"calculi":[14],"with":[15],"non-determinism":[16,48],"and":[17,49,59,71,83],"failures.":[18],"On":[19],"sequential":[21,100],"side,":[22,40],"we":[23,41],"consider":[24,42],"lambdafail,":[25],"a":[26,44,53,64],"new":[27],"non-deterministic":[28,82],"calculus":[29],"which":[31,47],"intersection":[32],"types":[33],"control":[34],"resources":[35],"(terms);":[36],"on":[37],"concurrent":[39],"spi,":[43],"failure":[50],"rest":[51],"upon":[52],"Curry-Howard":[54],"correspondence":[55],"between":[56],"linear":[57],"logic":[58],"session":[60],"types.":[61],"present":[63],"typed":[65,89],"encoding":[66,76],"lambdafail":[68,87],"spi":[70],"establish":[72],"its":[73],"correctness.":[74],"Our":[75],"precisely":[77],"explains":[78],"interplay":[80],"fail-prone":[84],"evaluation":[85,101],"via":[88],"processes":[90],"spi.":[92],"In":[93],"particular,":[94],"it":[95],"shows":[96],"how":[97],"failures":[98],"(absence/excess":[102],"resources)":[104],"can":[105],"be":[106],"neatly":[107],"codified":[108],"as":[109],"interaction":[110],"protocols.":[111]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2025-10-10T00:00:00"}