{"id":"https://openalex.org/W3134025063","doi":"https://doi.org/10.1007/978-3-030-71995-1_11","title":"Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic","display_name":"Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3134025063","doi":"https://doi.org/10.1007/978-3-030-71995-1_11","mag":"3134025063"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-71995-1_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_11","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-030-71995-1_11","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/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"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":false,"raw_author_name":"Claudia Faggian","raw_affiliation_strings":["Universit\u00e9 de Paris, IRIF, CNRS, F-75013, Paris, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris, IRIF, CNRS, F-75013, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046929882","display_name":"Giulio Guerrieri","orcid":"https://orcid.org/0000-0002-0469-4279"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Giulio Guerrieri","raw_affiliation_strings":["University of Bath, Department of Computer Science, Bath, UK"],"affiliations":[{"raw_affiliation_string":"University of Bath, Department of Computer Science, Bath, UK","institution_ids":["https://openalex.org/I51601045"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046929882"],"corresponding_institution_ids":["https://openalex.org/I51601045"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0759,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.76379248,"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":"205","last_page":"225"},"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.9973999857902527,"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/normalization","display_name":"Normalization (sociology)","score":0.8382562398910522},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.830193042755127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5702415704727173},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5592888593673706},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4395734965801239},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.4277830421924591},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3582524359226227},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3501904606819153},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32250159978866577},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3222789168357849},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2673218846321106},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14382678270339966}],"concepts":[{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.8382562398910522},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.830193042755127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5702415704727173},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5592888593673706},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4395734965801239},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.4277830421924591},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3582524359226227},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3501904606819153},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32250159978866577},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3222789168357849},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2673218846321106},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14382678270339966},{"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},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-030-71995-1_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_11","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:2101.08364","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.08364","pdf_url":"https://arxiv.org/pdf/2101.08364","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":"text"},{"id":"pmh:oai:HAL:hal-03455783v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03455783","pdf_url":"https://hal.science/hal-03455783/document","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":"FoSSaCS 2021: International Conference on Foundations of Software Science and Computation Structures, Mar 2021, Luxembourg city, Luxembourg. &#x27E8;10.1007/978-3-030-71995-1_11&#x27E9;","raw_type":"Conference papers"},{"id":"pmh:oai:pubmedcentral.nih.gov:7984102","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7984102","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Foundations of Software Science and Computation Structures","raw_type":"Text"},{"id":"pmh:oai:purehost.bath.ac.uk:openaire/f170a4a8-1756-4bd1-90e3-a6940d8889b1","is_oa":true,"landing_page_url":"https://researchportal.bath.ac.uk/en/publications/f170a4a8-1756-4bd1-90e3-a6940d8889b1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"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":"Faggian, C & Guerrieri, G 2021, Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. in S Kiefer & C Tasson (eds), Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12650, Springer Verlag, pp. 205-225, 24th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2021, 29/03/21. https://doi.org/10.1007/978-3-030-71995-1_11","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:purehost.bath.ac.uk:publications/f170a4a8-1756-4bd1-90e3-a6940d8889b1","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85108912308&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/978-3-030-71995-1_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-71995-1_11","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1479772898","https://openalex.org/W1545449210","https://openalex.org/W1582221715","https://openalex.org/W1995338553","https://openalex.org/W2018181305","https://openalex.org/W2025341469","https://openalex.org/W2028012052","https://openalex.org/W2070983411","https://openalex.org/W2081694512","https://openalex.org/W2088735483","https://openalex.org/W2132734990","https://openalex.org/W2148761448","https://openalex.org/W2240853903","https://openalex.org/W2285808479","https://openalex.org/W2323378191","https://openalex.org/W2486165584","https://openalex.org/W2508102865","https://openalex.org/W2604151837","https://openalex.org/W2911865844","https://openalex.org/W2938068247","https://openalex.org/W2953841725","https://openalex.org/W2966331684","https://openalex.org/W2988351684","https://openalex.org/W3003895133","https://openalex.org/W3021989208","https://openalex.org/W3090972609","https://openalex.org/W3103081985","https://openalex.org/W3126106359","https://openalex.org/W3126637164","https://openalex.org/W4287904754","https://openalex.org/W6630804320","https://openalex.org/W6632773714"],"related_works":["https://openalex.org/W2591697403","https://openalex.org/W2953716828","https://openalex.org/W2904857019","https://openalex.org/W2944728705","https://openalex.org/W3011538607","https://openalex.org/W2904022177","https://openalex.org/W4321441197","https://openalex.org/W2359348847","https://openalex.org/W4288247325","https://openalex.org/W2970818630"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"each":[2],"variant":[3],"of":[4,27,50],"the":[5,31,45,51,72,91],"$$\\lambda":[6,52],"$$":[7,53],"<mml:math":[8,54],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[9,55],"<mml:mi>\u03bb</mml:mi>":[10,56],"</mml:math>":[11,57],"-calculus,":[12],"factorization":[13],"and":[14,34,63,66,68,80,95],"normalization":[15],"are":[16,24],"two":[17],"key":[18],"properties":[19],"that":[20],"show":[21],"how":[22],"results":[23],"computed.":[25],"Instead":[26],"proving":[28],"factorization/normalization":[29,77],"for":[30,44,78],"call-by-name":[32],"(CbN)":[33],"call-by-value":[35],"(CbV)":[36],"variants":[37],"separately,":[38],"we":[39,70],"prove":[40],"them":[41],"only":[42],"once,":[43],"bang":[46],"calculus":[47],"(an":[48],"extension":[49],"-calculus":[58],"inspired":[59],"by":[60],"linear":[61],"logic":[62],"subsuming":[64],"CbN":[65,79],"CbV),":[67],"then":[69],"transfer":[71],"result":[73],"via":[74],"translations,":[75],"obtaining":[76],"CbV.":[81],"The":[82],"approach":[83],"is":[84],"robust:":[85],"it":[86],"still":[87],"holds":[88],"when":[89],"extending":[90],"calculi":[92],"with":[93],"operators":[94],"extra":[96],"rules":[97],"to":[98],"model":[99],"some":[100],"additional":[101],"computational":[102],"features.":[103]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2021-03-15T00:00:00"}