{"id":"https://openalex.org/W7168368906","doi":"https://doi.org/10.4230/lipics.fscd.2026.9","title":"Groups and Inverse Semigroups in Lambda Calculus","display_name":"Groups and Inverse Semigroups in Lambda Calculus","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168368906","doi":"https://doi.org/10.4230/lipics.fscd.2026.9"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26359","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.9","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.9/LIPIcs.FSCD.2026.9.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":null,"raw_type":"InProceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.9/LIPIcs.FSCD.2026.9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140752455","display_name":"Antonio Bucciarelli","orcid":"https://orcid.org/0000-0002-6050-9867"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bucciarelli, Antonio","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-6050-9867","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140778234","display_name":"Arturo De Faveri","orcid":"https://orcid.org/0009-0004-0115-4500"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"De Faveri, Arturo","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France"],"raw_orcid":"https://orcid.org/0009-0004-0115-4500","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140838185","display_name":"Giulio Manzonetto","orcid":"https://orcid.org/0000-0003-1448-9014"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Manzonetto, Giulio","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France"],"raw_orcid":"https://orcid.org/0000-0003-1448-9014","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5140816889","display_name":"Antonino Salibra","orcid":"https://orcid.org/0000-0001-6552-2561"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Salibra, Antonino","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France"],"raw_orcid":"https://orcid.org/0000-0001-6552-2561","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, F-75013, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.91018752,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.23469999432563782,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.23469999432563782,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.21469999849796295,"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/T10126","display_name":"Logic, programming, and type systems","score":0.15320000052452087,"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/invertible-matrix","display_name":"Invertible matrix","score":0.8453999757766724},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.7886999845504761},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.6776999831199646},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.6273000240325928},{"id":"https://openalex.org/keywords/inverse-semigroup","display_name":"Inverse semigroup","score":0.6198999881744385},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5005999803543091},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.41359999775886536},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.3772999942302704}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8517000079154968},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.8453999757766724},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.7886999845504761},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.6776999831199646},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.6273000240325928},{"id":"https://openalex.org/C2778508345","wikidata":"https://www.wikidata.org/wiki/Q3022118","display_name":"Inverse semigroup","level":3,"score":0.6198999881744385},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5005999803543091},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.492900013923645},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.41359999775886536},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37929999828338623},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.3772999942302704},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.37369999289512634},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.36419999599456787},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36239999532699585},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.33980000019073486},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3131999969482422},{"id":"https://openalex.org/C105245699","wikidata":"https://www.wikidata.org/wiki/Q338057","display_name":"Inverse element","level":4,"score":0.3070000112056732},{"id":"https://openalex.org/C140528856","wikidata":"https://www.wikidata.org/wiki/Q191884","display_name":"Inverse function","level":3,"score":0.30390000343322754},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.30219998955726624},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.29580000042915344},{"id":"https://openalex.org/C21112865","wikidata":"https://www.wikidata.org/wiki/Q5031372","display_name":"Cancellative semigroup","level":3,"score":0.2703999876976013},{"id":"https://openalex.org/C76134657","wikidata":"https://www.wikidata.org/wiki/Q370634","display_name":"Generalized inverse","level":3,"score":0.2660999894142151},{"id":"https://openalex.org/C40417594","wikidata":"https://www.wikidata.org/wiki/Q3022111","display_name":"Bicyclic semigroup","level":3,"score":0.2581000030040741}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:26359","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.9","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.9/LIPIcs.FSCD.2026.9.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fscd.2026.9","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2026.9","pdf_url":null,"source":null,"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":"pmh:oai:drops-oai.dagstuhl.de:26359","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.9","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.9/LIPIcs.FSCD.2026.9.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168368906.pdf","grobid_xml":"https://content.openalex.org/works/W7168368906.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,67,106],"study":[1],"invertibility":[2],"of":[3,16,94,133],"\u03bb-terms":[4,17,158],"modulo":[5,71,83],"\u03bb-theories.":[6],"Here":[7],"a":[8,14,72,103,140],"fundamental":[9],"role":[10],"is":[11,55,75,85,171],"played":[12],"by":[13,24,176],"class":[15],"called":[18],"finite":[19],"hereditary":[20],"permutations":[21],"(FHP)":[22],"and":[23,43,65,80,117,167],"their":[25],"infinite":[26,119],"generalisations":[27],"(HP).":[28],"More":[29],"precisely,":[30],"FHPs":[31,154],"are":[32,45,155],"the":[33,37,48,92,109,129,143,147,153,156,161,178],"invertible":[34,157],"elements":[35],"in":[36,47,115,121,139,159],"least":[38],"extensional":[39],"\u03bb-theory":[40,51,73],"\u03bb":[41,165],"\u03b7":[42,166],"HPs":[44],"those":[46],"greatest":[49],"sensible":[50],"H^*.":[52],"Our":[53],"approach":[54],"based":[56],"on":[57,124],"inverse":[58,78,87,98],"semigroups,":[59],"algebraic":[60],"structures":[61],"that":[62,69,81,108,152],"generalise":[63],"groups":[64],"semilattices.":[66],"show":[68],"FHP":[70],"T":[74,84,90],"always":[76],"an":[77,86],"semigroup":[79,88,99],"HP":[82],"whenever":[89],"contains":[91],"theory":[93],"B\u00f6hm":[95],"trees.":[96],"An":[97],"comes":[100],"equipped":[101],"with":[102],"natural":[104,110],"order.":[105],"prove":[107,151],"order":[111],"corresponds":[112],"to":[113,118],"\u03b7-expansion":[114,120],"FHP/T,":[116],"HP/T.":[122],"Building":[123],"these":[125],"correspondences":[126],"we":[127,137,150],"obtain":[128],"two":[130],"main":[131],"contributions":[132],"this":[134],"work:":[135],"firstly,":[136],"recast":[138],"broader":[141],"framework":[142],"results":[144],"cited":[145],"at":[146],"beginning;":[148],"secondly,":[149],"all":[160],"\u03bb-theories":[162],"lying":[163],"between":[164],"H^+.":[168],"The":[169],"latter":[170],"Morris'":[172],"observational":[173],"\u03bb-theory,":[174],"defined":[175],"using":[177],"\u03b2-normal":[179],"forms":[180],"as":[181],"observables.":[182]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-16T00:00:00"}