{"id":"https://openalex.org/W4388909318","doi":"https://doi.org/10.1007/978-981-99-8311-7_6","title":"Typed Non-determinism in\u00a0Functional and\u00a0Concurrent Calculi","display_name":"Typed Non-determinism in\u00a0Functional and\u00a0Concurrent Calculi","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4388909318","doi":"https://doi.org/10.1007/978-981-99-8311-7_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-99-8311-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-99-8311-7_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.rug.nl/en/publications/22188354-d1d7-4724-b5b8-248ac76a49bb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052455553","display_name":"Bas van den Heuvel","orcid":"https://orcid.org/0000-0002-8264-7371"},"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":"Bas van den Heuvel","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","NL"],"is_corresponding":false,"raw_author_name":"Joseph W. N. Paulus","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands","University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"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/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, London, UK","University of Bras\u00edlia, Bras\u00edlia, Brazil"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"University of Bras\u00edlia, 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, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052455553"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5259,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71408665,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"112","last_page":"132"},"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.9998999834060669,"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.9998999834060669,"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.9983999729156494,"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.9968000054359436,"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/determinism","display_name":"Determinism","score":0.8735033273696899},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7706454992294312},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.634373664855957},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.5523685216903687},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4834381341934204},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.4446401298046112},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4105081856250763},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.37457597255706787},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34263965487480164},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24876669049263},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.11344656348228455},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07750099897384644}],"concepts":[{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.8735033273696899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7706454992294312},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.634373664855957},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.5523685216903687},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4834381341934204},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.4446401298046112},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4105081856250763},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.37457597255706787},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34263965487480164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24876669049263},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11344656348228455},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07750099897384644},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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":4,"locations":[{"id":"doi:10.1007/978-981-99-8311-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-99-8311-7_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.rug.nl:openaire/22188354-d1d7-4724-b5b8-248ac76a49bb","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/22188354-d1d7-4724-b5b8-248ac76a49bb","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van den Heuvel, B, Paulus, J W N, Nantes-Sobrinho, D & P\u00e9rez, J A 2023, Typed Non-determinism in\u00a0Functional and\u00a0Concurrent Calculi. in C-K Hur (ed.), Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14405 LNCS, Springer Science and Business Media Deutschland GmbH, Singapore, pp. 112-132, 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, Taipei, Taiwan, 26/11/2023. https://doi.org/10.1007/978-981-99-8311-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:5901fe65-d8c0-451f-9a0e-421d33daf8a4","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:5901fe65-d8c0-451f-9a0e-421d33daf8a4","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Conference item"},{"id":"pmh:oai:pure.rug.nl:publications/22188354-d1d7-4724-b5b8-248ac76a49bb","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/22188354-d1d7-4724-b5b8-248ac76a49bb","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van den Heuvel, B, Paulus, J W N, Nantes-Sobrinho, D & P\u00e9rez, J A 2023, Typed Non-determinism in\u00a0Functional and\u00a0Concurrent Calculi. in C-K Hur (ed.), Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14405 LNCS, Springer Science and Business Media Deutschland GmbH, Singapore, pp. 112-132, 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, Taipei, Taiwan, 26/11/2023. https://doi.org/10.1007/978-981-99-8311-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/22188354-d1d7-4724-b5b8-248ac76a49bb","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/22188354-d1d7-4724-b5b8-248ac76a49bb","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van den Heuvel, B, Paulus, J W N, Nantes-Sobrinho, D & P\u00e9rez, J A 2023, Typed Non-determinism in\u00a0Functional and\u00a0Concurrent Calculi. in C-K Hur (ed.), Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14405 LNCS, Springer Science and Business Media Deutschland GmbH, Singapore, pp. 112-132, 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, Taipei, Taiwan, 26/11/2023. https://doi.org/10.1007/978-981-99-8311-7_6","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W192070947","https://openalex.org/W1498709867","https://openalex.org/W1528473059","https://openalex.org/W1534772435","https://openalex.org/W1607623316","https://openalex.org/W1784055113","https://openalex.org/W1941373452","https://openalex.org/W1976772592","https://openalex.org/W2008838944","https://openalex.org/W2025341469","https://openalex.org/W2060992753","https://openalex.org/W2088376608","https://openalex.org/W2128932399","https://openalex.org/W2153557668","https://openalex.org/W2170626879","https://openalex.org/W2235673917","https://openalex.org/W2340622488","https://openalex.org/W2534609882","https://openalex.org/W2594993942","https://openalex.org/W2797067244","https://openalex.org/W2969623494","https://openalex.org/W3105742868","https://openalex.org/W3114866707","https://openalex.org/W3184753544","https://openalex.org/W3194485154","https://openalex.org/W4212975454","https://openalex.org/W4229076316","https://openalex.org/W4230290951","https://openalex.org/W4252856660","https://openalex.org/W4366077100"],"related_works":["https://openalex.org/W2114701904","https://openalex.org/W2153353244","https://openalex.org/W1583714326","https://openalex.org/W2146437601","https://openalex.org/W1503779485","https://openalex.org/W134535625","https://openalex.org/W3157764981","https://openalex.org/W2615530741","https://openalex.org/W2559932535","https://openalex.org/W4287194442"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}