{"id":"https://openalex.org/W1954279992","doi":"https://doi.org/10.2168/lmcs-11(3:22)2015","title":"A correspondence between rooted planar maps and normal planar lambda terms","display_name":"A correspondence between rooted planar maps and normal planar lambda terms","publication_year":2015,"publication_date":"2015-09-25","ids":{"openalex":"https://openalex.org/W1954279992","doi":"https://doi.org/10.2168/lmcs-11(3:22)2015","mag":"1954279992"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-11(3:22)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:22)2015","pdf_url":"https://lmcs.episciences.org/1598/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","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1598/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008964203","display_name":"Noam Zeilberger","orcid":"https://orcid.org/0000-0002-5945-4184"},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]},{"id":"https://openalex.org/I4210126360","display_name":"Centre Inria de Saclay","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]}],"countries":["FR","IN"],"is_corresponding":true,"raw_author_name":"Noam Zeilberger","raw_affiliation_strings":["MSR-Inria, Joint Centre, 91120 Palaiseau, France","Microsoft Research - Inria Joint Centre"],"affiliations":[{"raw_affiliation_string":"MSR-Inria, Joint Centre, 91120 Palaiseau, France","institution_ids":["https://openalex.org/I4210126360"]},{"raw_affiliation_string":"Microsoft Research - Inria Joint Centre","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060424515","display_name":"Alain Giorgetti","orcid":"https://orcid.org/0000-0002-0990-9611"},"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/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]},{"id":"https://openalex.org/I4210120525","display_name":"Institut UTINAM","ror":"https://ror.org/02h0g9r59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210120525","https://openalex.org/I4210148025","https://openalex.org/I4405256580"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alain Giorgetti","raw_affiliation_strings":["CASSIS project, Inria, 54600 Villers-les-Nancy, France","FEMTO-ST institute (UMR CNRS 6174 -UBFC/UFC/ENSMM/UTBM), University of Franche-Comt, 25030 Besanc on, France /","Combination of approaches to the security of infinite states systems","Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"affiliations":[{"raw_affiliation_string":"CASSIS project, Inria, 54600 Villers-les-Nancy, France","institution_ids":["https://openalex.org/I4210127166"]},{"raw_affiliation_string":"FEMTO-ST institute (UMR CNRS 6174 -UBFC/UFC/ENSMM/UTBM), University of Franche-Comt, 25030 Besanc on, France /","institution_ids":["https://openalex.org/I4210118524","https://openalex.org/I2802759292","https://openalex.org/I4210120525","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Combination of approaches to the security of infinite states systems","institution_ids":[]},{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5008964203"],"corresponding_institution_ids":["https://openalex.org/I4210124949","https://openalex.org/I4210126360"],"apc_list":null,"apc_paid":null,"fwci":2.6797,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.91589998,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"Volume 11, Issue 3","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":0.9990000128746033,"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.9990000128746033,"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/T11567","display_name":"semigroups and automata theory","score":0.9883000254631042,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9779999852180481,"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/bijection","display_name":"Bijection","score":0.7240204215049744},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7079551219940186},{"id":"https://openalex.org/keywords/planar-graph","display_name":"Planar graph","score":0.665828287601471},{"id":"https://openalex.org/keywords/planar","display_name":"Planar","score":0.6143420338630676},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5791312456130981},{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.5192403793334961},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3416178822517395},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3353380858898163},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11987623572349548},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09743639826774597}],"concepts":[{"id":"https://openalex.org/C24424167","wikidata":"https://www.wikidata.org/wiki/Q180907","display_name":"Bijection","level":2,"score":0.7240204215049744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7079551219940186},{"id":"https://openalex.org/C101837359","wikidata":"https://www.wikidata.org/wiki/Q547823","display_name":"Planar graph","level":3,"score":0.665828287601471},{"id":"https://openalex.org/C134786449","wikidata":"https://www.wikidata.org/wiki/Q3391255","display_name":"Planar","level":2,"score":0.6143420338630676},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5791312456130981},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.5192403793334961},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3416178822517395},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3353380858898163},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11987623572349548},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09743639826774597},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.2168/lmcs-11(3:22)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:22)2015","pdf_url":"https://lmcs.episciences.org/1598/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:arXiv.org:1408.5028","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1408.5028","pdf_url":"https://arxiv.org/pdf/1408.5028","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:HAL:hal-01057269v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01057269","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lmcs-online.org/ojs/viewarticle.php?id=1695&layout=abstract","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:aaf776c9a4604c1ba92cb854f6ba594c","is_oa":true,"landing_page_url":"https://doaj.org/article/aaf776c9a4604c1ba92cb854f6ba594c","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"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 11, Issue 3 (2015)","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:Publications/2511e038-2c54-4893-a846-b48cb38a1559","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/2511e038-2c54-4893-a846-b48cb38a1559","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/2511e038-2c54-4893-a846-b48cb38a1559","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"Zeilberger, N & Giorgetti, A 2015, 'A correspondence between rooted planar maps and normal planar lambda terms', Logical Methods in Computer Science, vol. 11, no. 3, pp. 1-39. https://doi.org/10.2168/LMCS-11(3:22)2015","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/2511e038-2c54-4893-a846-b48cb38a1559","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/portal/en/publications/a-correspondence-between-rooted-planar-maps-and-normal-planar-lambda-terms(2511e038-2c54-4893-a846-b48cb38a1559).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"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":"","raw_type":""}],"best_oa_location":{"id":"doi:10.2168/lmcs-11(3:22)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:22)2015","pdf_url":"https://lmcs.episciences.org/1598/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":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1954279992.pdf","grobid_xml":"https://content.openalex.org/works/W1954279992.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W61931058","https://openalex.org/W114283327","https://openalex.org/W115669730","https://openalex.org/W207336988","https://openalex.org/W566558991","https://openalex.org/W638902413","https://openalex.org/W1498815108","https://openalex.org/W1507316189","https://openalex.org/W1530632793","https://openalex.org/W1585244820","https://openalex.org/W1973799895","https://openalex.org/W2004282542","https://openalex.org/W2010912446","https://openalex.org/W2013871685","https://openalex.org/W2021355739","https://openalex.org/W2023605482","https://openalex.org/W2049362364","https://openalex.org/W2056025285","https://openalex.org/W2060397425","https://openalex.org/W2081367192","https://openalex.org/W2093541252","https://openalex.org/W2120713972","https://openalex.org/W2126209209","https://openalex.org/W2128529251","https://openalex.org/W2145852050","https://openalex.org/W2148790674","https://openalex.org/W2154273644","https://openalex.org/W2324455841","https://openalex.org/W2340541605","https://openalex.org/W2911865844","https://openalex.org/W2914624816","https://openalex.org/W2963248774","https://openalex.org/W2963504583","https://openalex.org/W3098021658","https://openalex.org/W3100695210","https://openalex.org/W3105507374","https://openalex.org/W4212903209","https://openalex.org/W4300073819"],"related_works":["https://openalex.org/W4288805235","https://openalex.org/W2952259524","https://openalex.org/W1508013399","https://openalex.org/W3216105633","https://openalex.org/W2019085620","https://openalex.org/W2990956612","https://openalex.org/W2584131233","https://openalex.org/W1606013690","https://openalex.org/W4293743430","https://openalex.org/W3006156235"],"abstract_inverted_index":{"A":[0,20],"rooted":[1,89,150,167],"planar":[2,46,71,90,114,151,155,168,201],"map":[3],"is":[4,27,35,49,145],"a":[5,58,75,109,132,137,146,181],"connected":[6],"graph":[7],"embedded":[8],"in":[9,125,188],"the":[10,23,52,67,82,102,119,196],"2-sphere,":[11],"with":[12,81,131,174,180],"one":[13],"edge":[14],"marked":[15],"and":[16,45,51,153,178],"assigned":[17],"an":[18,175],"orientation.":[19],"term":[21],"of":[22,54,78,94,104,121,166,199],"pure":[24],"lambda":[25,72,115,123,156,190,202],"calculus":[26,124],"said":[28],"to":[29,100,107],"be":[30,185],"linear":[31,50,122,133,138,189],"if":[32,40,47],"every":[33],"variable":[34],"used":[36],"exactly":[37],"once,":[38],"normal":[39,70,113,154,200],"it":[41,48],"contains":[42],"no":[43],"beta-redexes,":[44],"use":[53],"variables":[55],"moreover":[56],"follows":[57],"deterministic":[59],"stack":[60],"discipline.":[61],"We":[62],"begin":[63],"by":[64,74,86,92,161],"showing":[65],"that":[66],"sequence":[68,83],"counting":[69,88],"terms":[73],"natural":[76],"notion":[77],"size":[79],"coincides":[80],"(originally":[84],"computed":[85],"Tutte)":[87],"maps":[91,152,169,173,179],"number":[93],"edges.":[95],"Next,":[96],"we":[97,159],"explain":[98],"how":[99,163],"apply":[101],"machinery":[103],"string":[105,197],"diagrams":[106,198],"derive":[108],"graphical":[110],"language":[111],"for":[112],"terms,":[116,157],"extracted":[117],"from":[118],"semantics":[120],"symmetric":[126],"monoidal":[127],"closed":[128],"categories":[129],"equipped":[130],"reflexive":[134,139],"object":[135],"or":[136],"pair.":[140],"Finally,":[141],"our":[142],"main":[143],"result":[144],"size-preserving":[147],"bijection":[148],"between":[149],"which":[158],"establish":[160],"explaining":[162],"Tutte":[164],"decomposition":[165],"(into":[170],"vertex":[171],"maps,":[172],"isthmic":[176],"root,":[177],"non-isthmic":[182],"root)":[183],"may":[184],"naturally":[186],"replayed":[187],"calculus,":[191],"as":[192],"certain":[193],"surgeries":[194],"on":[195],"terms.":[203]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2019-06-27T00:00:00"}