{"id":"https://openalex.org/W4254539388","doi":"https://doi.org/10.1016/j.ic.2019.06.002","title":"On the relative expressiveness of higher-order session processes","display_name":"On the relative expressiveness of higher-order session processes","publication_year":2019,"publication_date":"2019-06-28","ids":{"openalex":"https://openalex.org/W4254539388","doi":"https://doi.org/10.1016/j.ic.2019.06.002"},"language":"en","primary_location":{"id":"doi:10.1016/j.ic.2019.06.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ic.2019.06.002","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0890540119300495","source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["abdc-b","cwts-core","jufo-2","norway-2"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.sciencedirect.com/science/article/pii/S0890540119300495","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046163764","display_name":"Dimitrios Kouzapas","orcid":"https://orcid.org/0000-0001-9300-0146","observed_orcids":["https://orcid.org/0000-0001-9300-0146"]},"institutions":[{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]}],"countries":["CY"],"is_corresponding":true,"raw_author_name":"Dimitrios Kouzapas","raw_affiliation_strings":["University of Cyprus, Nicosia, Cyprus"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cyprus, Nicosia, Cyprus","institution_ids":["https://openalex.org/I34771391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034548013","display_name":"Jorge A. P\u00e9rez","orcid":"https://orcid.org/0000-0002-1452-6180","observed_orcids":["https://orcid.org/0000-0002-1452-6180"]},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"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":"Jorge A. P\u00e9rez","raw_affiliation_strings":["University of Groningen & CWI, Amsterdam, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen & CWI, Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054171989","display_name":"Nobuko Yoshida","orcid":"https://orcid.org/0000-0002-3925-8557","observed_orcids":["https://orcid.org/0000-0002-3925-8557"]},"institutions":[{"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":["GB"],"is_corresponding":true,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":["Imperial College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034548013","https://openalex.org/A5046163764","https://openalex.org/A5054171989"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I169381384","https://openalex.org/I34771391","https://openalex.org/I47508984"],"apc_list":{"value":1500,"currency":"USD","value_usd":1500},"apc_paid":{"value":1500,"currency":"USD","value_usd":1500},"fwci":0.8542,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81886336,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"268","issue":null,"first_page":"104433","last_page":"104433"},"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.9997000098228455,"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.9997000098228455,"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.9962999820709229,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9955999851226807,"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/higher-order-pi-calculus","display_name":"higher-order \u03c0-calculus","score":0.8949999809265137},{"id":"https://openalex.org/keywords/full-abstraction","display_name":"full abstraction","score":0.8309999704360962},{"id":"https://openalex.org/keywords/name-passing","display_name":"name passing","score":0.5699999928474426},{"id":"https://openalex.org/keywords/recursion","display_name":"recursion","score":0.8330000042915344},{"id":"https://openalex.org/keywords/core-calculus","display_name":"core calculus","score":0.527999997138977},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"lambda calculus","score":0.5099999904632568},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"\u03c0-calculus","score":0.7799999713897705}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7626302242279053},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7441880702972412},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7043470144271851},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6989179849624634},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6943038702011108},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6233327388763428},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.5650517344474792},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.45432108640670776},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.43597376346588135},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.41571471095085144},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4150238633155823},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.370941698551178},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.285340279340744},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.20185577869415283},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0675269067287445},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.06634470820426941},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1016/j.ic.2019.06.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ic.2019.06.002","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0890540119300495","source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["abdc-b","cwts-core","jufo-2","norway-2"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},{"id":"pmh:oai:pure.rug.nl:openaire/44b8ef9f-859a-4753-b6dc-c5c3ca32e67d","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/44b8ef9f-859a-4753-b6dc-c5c3ca32e67d","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,"listed_in":[],"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kouzapas, D, Perez, J A & Yoshida, N 2019, 'On the relative expressiveness of higher-order session processes', Information and Computation, vol. 268, 104433. https://doi.org/10.1016/j.ic.2019.06.002","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cwi.nl:28755","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/28755","pdf_url":"https://ir.cwi.nl/pub/28755/28755.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information and Computation vol. 268, pp. 104433:1-104433:54","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:cwi:oai:cwi.nl:28755","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/28755","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information and Computation, 268, 104433.1 - 104433.54","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/72000","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/72000","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"54","raw_type":"Journal Article"},{"id":"pmh:rug:oai:pure.rug.nl:publications/44b8ef9f-859a-4753-b6dc-c5c3ca32e67d","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/44b8ef9f-859a-4753-b6dc-c5c3ca32e67d","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,"listed_in":[],"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information and Computation, 268:104433. ACADEMIC PRESS INC ELSEVIER SCIENCE","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/j.ic.2019.06.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ic.2019.06.002","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0890540119300495","source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["abdc-b","cwts-core","jufo-2","norway-2"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1798638720","display_name":"From Data Types to Session Types---A Basis for Concurrency and Distribution","funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2725184853","display_name":"Conversation-Based Governance for Distributed Systems by Multiparty Session Types","funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4331498724","display_name":"VisorSurf - A Hardware Platform for Software-driven Functional Metasurfaces","funder_award_id":"736876","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G469955813","display_name":"Turtles: Protocol-Based Foundations for Distributed Multiagent Systems","funder_award_id":"EP/N027833/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"},{"id":"https://openalex.org/G556591498","display_name":null,"funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G600182179","display_name":null,"funder_award_id":"EP/L00058X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6025297107","display_name":"Border Patrol: Improving Smart Device Security through Type-Aware Systems Design","funder_award_id":"EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6374842700","display_name":null,"funder_award_id":"EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6739708954","display_name":null,"funder_award_id":"EP/N027833/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6968114954","display_name":"Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems","funder_award_id":"EP/L00058X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7918631928","display_name":null,"funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320366","display_name":"European Cooperation in Science and Technology","ror":"https://ror.org/01bstzn19"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320323459","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89"},{"id":"https://openalex.org/F4320331406","display_name":"NOVA Laboratory for Computer Science and Informatics","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4254539388.pdf","grobid_xml":"https://content.openalex.org/works/W4254539388.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W59270753","https://openalex.org/W1790031272","https://openalex.org/W1863315251","https://openalex.org/W1998827035","https://openalex.org/W2001299902","https://openalex.org/W2019329654","https://openalex.org/W2021990421","https://openalex.org/W2024300530","https://openalex.org/W2028016184","https://openalex.org/W2029133311","https://openalex.org/W2042360145","https://openalex.org/W2060992753","https://openalex.org/W2069107692","https://openalex.org/W2072048176","https://openalex.org/W2075116711","https://openalex.org/W2081596204","https://openalex.org/W2096921579","https://openalex.org/W2098401737","https://openalex.org/W2111478081","https://openalex.org/W2116362715","https://openalex.org/W2124126159","https://openalex.org/W2128505383","https://openalex.org/W2129259179","https://openalex.org/W2129843408","https://openalex.org/W2161127621","https://openalex.org/W2170052897","https://openalex.org/W2324339387","https://openalex.org/W2400032228","https://openalex.org/W2761131108","https://openalex.org/W3124439491","https://openalex.org/W6603736743","https://openalex.org/W6628268074","https://openalex.org/W6637036309","https://openalex.org/W6638838609","https://openalex.org/W6639094429","https://openalex.org/W6640252585","https://openalex.org/W6640593044","https://openalex.org/W6658373143","https://openalex.org/W6675806637","https://openalex.org/W6676424477","https://openalex.org/W6676791237","https://openalex.org/W6677094113","https://openalex.org/W6678975212","https://openalex.org/W6679261363","https://openalex.org/W6679750394","https://openalex.org/W6680158118","https://openalex.org/W6682771070","https://openalex.org/W6683470904","https://openalex.org/W6693965549","https://openalex.org/W6696976166","https://openalex.org/W6718584763","https://openalex.org/W6759342687"],"related_works":["https://openalex.org/W1990409638","https://openalex.org/W2272823372","https://openalex.org/W1604894272","https://openalex.org/W2155852086","https://openalex.org/W2324339387","https://openalex.org/W188099908","https://openalex.org/W123162335","https://openalex.org/W2010690522","https://openalex.org/W2799251552","https://openalex.org/W2119035971"],"abstract_inverted_index":{"By":[0],"integrating":[1],"constructs":[2],"from":[3],"the":[4,7,21,26,82,89],"\u03bb-calculus":[5],"and":[6,50,79,96],"\u03c0-calculus,":[8],"in":[9,29],"higher-order":[10,27,61],"process":[11],"calculi":[12],"exchanged":[13],"values":[14],"may":[15],"contain":[16],"processes.":[17],"This":[18],"paper":[19],"studies":[20],"relative":[22],"expressiveness":[23],"of":[24,45,91],"HO\u03c0,":[25,94],"\u03c0-calculus":[28,85],"which":[30,47],"communications":[31],"are":[32,98],"governed":[33],"by":[34],"session":[35,84,92],"types.":[36],"Our":[37],"main":[38],"discovery":[39],"is":[40,106],"that":[41,65,104],"HO,":[42,95],"a":[43,55],"subcalculus":[44],"HO\u03c0":[46,69,105],"lacks":[48],"name-passing":[49],"recursion,":[51],"can":[52,67],"serve":[53],"as":[54],"new":[56],"core":[57],"calculus":[58],"for":[59],"session-typed":[60],"concurrency.":[62],"We":[63],"show":[64,103],"HO":[66,111],"encode":[68],"fully":[70],"abstractly":[71],"(up":[72],"to":[73,110,113],"typed":[74],"contextual":[75],"equivalence)":[76],"more":[77,107],"precisely":[78],"efficiently":[80],"than":[81,112],"first-order":[83],"(\u03c0).":[86],"Overall,":[87],"under":[88],"discipline":[90],"types,":[93],"\u03c0":[97],"equally":[99],"expressive;":[100],"however,":[101],"we":[102],"tightly":[108],"related":[109],"\u03c0.":[114]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2025-10-10T00:00:00"}