{"id":"https://openalex.org/W1669857961","doi":"https://doi.org/10.1007/978-3-662-49192-8_15","title":"A Natural Counting of Lambda Terms","display_name":"A Natural Counting of Lambda Terms","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W1669857961","doi":"https://doi.org/10.1007/978-3-662-49192-8_15","mag":"1669857961"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-49192-8_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49192-8_15","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1506.02367","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036540043","display_name":"Maciej Bendkowski","orcid":null},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]},{"id":"https://openalex.org/I55215948","display_name":"Tata Consultancy Services (India)","ror":"https://ror.org/01b9n8m42","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210086519","https://openalex.org/I55215948"]}],"countries":["IN","PL"],"is_corresponding":true,"raw_author_name":"Maciej Bendkowski","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, Jagiellonian University, ul. Prof.\u00a0\u0141ojasiewicza 6, 30\u2013348, Krak\u00f3w, Poland","TCS#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, Jagiellonian University, ul. Prof.\u00a0\u0141ojasiewicza 6, 30\u2013348, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I126596746"]},{"raw_affiliation_string":"TCS#TAB#","institution_ids":["https://openalex.org/I55215948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067755415","display_name":"Katarzyna Grygiel","orcid":null},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]},{"id":"https://openalex.org/I55215948","display_name":"Tata Consultancy Services (India)","ror":"https://ror.org/01b9n8m42","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210086519","https://openalex.org/I55215948"]}],"countries":["IN","PL"],"is_corresponding":false,"raw_author_name":"Katarzyna Grygiel","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, Jagiellonian University, ul. Prof.\u00a0\u0141ojasiewicza 6, 30\u2013348, Krak\u00f3w, Poland","TCS#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, Jagiellonian University, ul. Prof.\u00a0\u0141ojasiewicza 6, 30\u2013348, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I126596746"]},{"raw_affiliation_string":"TCS#TAB#","institution_ids":["https://openalex.org/I55215948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042417161","display_name":"Pierre Lescanne","orcid":"https://orcid.org/0000-0001-9512-5276"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Lescanne","raw_affiliation_strings":["\u00c9cole Normale Sup\u00e9rieure de Lyon, LIP (UMR 5668 CNRS ENS Lyon UCBL INRIA), University of Lyon, 46 All\u00e9e d\u2019Italie, 69364, Lyon, France","\u00c9cole Normale Sup\u00e9rieure de Lyon, LIP (UMR 5668 CNRS ENS Lyon UCBL INRIA), University of Lyon, Lyon, France"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Normale Sup\u00e9rieure de Lyon, LIP (UMR 5668 CNRS ENS Lyon UCBL INRIA), University of Lyon, 46 All\u00e9e d\u2019Italie, 69364, Lyon, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I113428412"]},{"raw_affiliation_string":"\u00c9cole Normale Sup\u00e9rieure de Lyon, LIP (UMR 5668 CNRS ENS Lyon UCBL INRIA), University of Lyon, Lyon, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025578269","display_name":"Marek Zaionc","orcid":"https://orcid.org/0000-0003-1132-6690"},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]},{"id":"https://openalex.org/I55215948","display_name":"Tata Consultancy Services (India)","ror":"https://ror.org/01b9n8m42","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210086519","https://openalex.org/I55215948"]}],"countries":["IN","PL"],"is_corresponding":false,"raw_author_name":"Marek Zaionc","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, Jagiellonian University, ul. Prof.\u00a0\u0141ojasiewicza 6, 30\u2013348, Krak\u00f3w, Poland","TCS#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, Jagiellonian University, ul. Prof.\u00a0\u0141ojasiewicza 6, 30\u2013348, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I126596746"]},{"raw_affiliation_string":"TCS#TAB#","institution_ids":["https://openalex.org/I55215948"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5036540043"],"corresponding_institution_ids":["https://openalex.org/I126596746","https://openalex.org/I55215948"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.9261,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75954198,"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":"183","last_page":"194"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11567","display_name":"semigroups and automata theory","score":0.9972000122070312,"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bijection-injection-and-surjection","display_name":"Bijection, injection and surjection","score":0.8888589143753052},{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.8127284646034241},{"id":"https://openalex.org/keywords/de-bruijn-sequence","display_name":"De Bruijn sequence","score":0.8098403215408325},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6482608914375305},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5823801755905151},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5282518267631531},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.5217981338500977},{"id":"https://openalex.org/keywords/distribution","display_name":"Distribution (mathematics)","score":0.4791114330291748},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3274555206298828},{"id":"https://openalex.org/keywords/bijection","display_name":"Bijection","score":0.29448437690734863},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.21319234371185303},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.16561272740364075}],"concepts":[{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.8888589143753052},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.8127284646034241},{"id":"https://openalex.org/C170320093","wikidata":"https://www.wikidata.org/wiki/Q1953457","display_name":"De Bruijn sequence","level":2,"score":0.8098403215408325},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6482608914375305},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5823801755905151},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5282518267631531},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.5217981338500977},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.4791114330291748},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3274555206298828},{"id":"https://openalex.org/C24424167","wikidata":"https://www.wikidata.org/wiki/Q180907","display_name":"Bijection","level":2,"score":0.29448437690734863},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.21319234371185303},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.16561272740364075},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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":6,"locations":[{"id":"doi:10.1007/978-3-662-49192-8_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49192-8_15","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:arXiv.org:1506.02367","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1506.02367","pdf_url":"https://arxiv.org/pdf/1506.02367","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":"mag:1669857961","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1506.02367.pdf","pdf_url":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:ruj.uj.edu.pl:item/26742","is_oa":true,"landing_page_url":"http://ruj.uj.edu.pl/xmlui/handle/item/26742","pdf_url":null,"source":{"id":"https://openalex.org/S4306401249","display_name":"Jagiellonian University Repository (Jagiellonian University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126596746","host_organization_name":"Jagiellonian University","host_organization_lineage":["https://openalex.org/I126596746"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:ensl-01159746v3","is_oa":true,"landing_page_url":"https://ens-lyon.hal.science/ensl-01159746","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2016","raw_type":"Preprints, Working Papers, ..."},{"id":"doi:10.48550/arxiv.1506.02367","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1506.02367","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1506.02367","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1506.02367","pdf_url":"https://arxiv.org/pdf/1506.02367","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W43882553","https://openalex.org/W2003189478","https://openalex.org/W2016355174","https://openalex.org/W2063356553","https://openalex.org/W2268442582","https://openalex.org/W2340541605","https://openalex.org/W2405219839","https://openalex.org/W2963432045","https://openalex.org/W2963504583","https://openalex.org/W2964257550","https://openalex.org/W4242126179"],"related_works":["https://openalex.org/W2949830328","https://openalex.org/W2047433509","https://openalex.org/W2949793439","https://openalex.org/W2329840944","https://openalex.org/W3184397486","https://openalex.org/W3012146847","https://openalex.org/W2898059104","https://openalex.org/W2040958381","https://openalex.org/W3023517918","https://openalex.org/W2794040967","https://openalex.org/W3090362679","https://openalex.org/W2019491964","https://openalex.org/W2979950107","https://openalex.org/W2911866519","https://openalex.org/W1490628104","https://openalex.org/W49284921","https://openalex.org/W2618665481","https://openalex.org/W2056620503","https://openalex.org/W3127907505","https://openalex.org/W3100266524"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}