{"id":"https://openalex.org/W1981336276","doi":"https://doi.org/10.1137/0214028","title":"Axioms for the Theory of Lambda-Conversion","display_name":"Axioms for the Theory of Lambda-Conversion","publication_year":1985,"publication_date":"1985-05-01","ids":{"openalex":"https://openalex.org/W1981336276","doi":"https://doi.org/10.1137/0214028","mag":"1981336276"},"language":"en","primary_location":{"id":"doi:10.1137/0214028","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0214028","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048156774","display_name":"Gy\u00f6rgy E. R\u00e9v\u00e9sz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gyorgy Revesz","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048156774"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.8999,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.95120157,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"14","issue":"2","first_page":"373","last_page":"382"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9933000206947327,"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.984499990940094,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7877547740936279},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.7115912437438965},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.6167579889297485},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.5870845317840576},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.541320264339447},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.47892650961875916},{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.4518994987010956},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4346253275871277},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43455618619918823},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3835928440093994},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3667082190513611},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33977586030960083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3233444392681122},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.2106102705001831},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1929866075515747}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7877547740936279},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.7115912437438965},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.6167579889297485},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.5870845317840576},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.541320264339447},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.47892650961875916},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.4518994987010956},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4346253275871277},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43455618619918823},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3835928440093994},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3667082190513611},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33977586030960083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3233444392681122},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2106102705001831},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1929866075515747},{"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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0214028","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0214028","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W159082583","https://openalex.org/W1492311822","https://openalex.org/W1813915452","https://openalex.org/W2063068243","https://openalex.org/W2067507526","https://openalex.org/W2129442368","https://openalex.org/W2568721247"],"related_works":["https://openalex.org/W1605832585","https://openalex.org/W32279214","https://openalex.org/W2045304669","https://openalex.org/W1521093446","https://openalex.org/W1981336276","https://openalex.org/W1978856319","https://openalex.org/W4861723","https://openalex.org/W1547639981","https://openalex.org/W4297776086","https://openalex.org/W3107077661"],"abstract_inverted_index":{"In":[0,56],"the":[1,39,52,57,63,66,98,102,112,118,147,157],"standard":[2],"presentations":[3],"of":[4,41,54,68,93,101,111,114,139,149,162],"$\\lambda":[5,163],"$-calculus":[6],"(e.g.,":[7],"in":[8,51,73,116,153],"[H.":[9],"Barendregt,":[10],"The":[11],"Lambda":[12],"Calculus,":[13],"Its":[14],"Syntax":[15],"and":[16,49],"Semantics,":[17],"North-Holland,":[18],"Amsterdam,":[19],"1981]":[20],"or":[21,136],"[J.":[22],"R.":[23],"Hindley,":[24],"B.":[25],"Lecher,":[26],"J.":[27],"P.":[28],"Seldin,":[29],"Introduction":[30],"to":[31,88],"Combinatory":[32],"Logic,":[33],"Cambridge":[34],"Univ.":[35],"Press,":[36],"London,":[37],"1972])":[38],"operation":[40,48,92],"substitution":[42,78,115],"is":[43,79,86,105],"defined":[44],"as":[45,84],"a":[46,75,89,140,150],"primitive":[47],"used":[50],"definition":[53],"convertibility.":[55],"present":[58],"paper":[59],"we":[60,145],"show":[61],"that":[62,77,132,155],"axioms":[64],"for":[65],"theory":[67],"lambda-conversion":[69],"can":[70],"be":[71,127],"simplified":[72],"such":[74],"way":[76],"not":[80],"needed":[81],"at":[82],"all,":[83],"it":[85],"reduced":[87],"more":[90],"elementary":[91],"replacement":[94],"without":[95],"giving":[96],"up":[97],"intuitive":[99],"simplicity":[100],"lambda-notation.":[103],"This":[104],"achieved":[106],"by":[107,142,165],"making":[108],"essential":[109],"use":[110],"properties":[113],"formulating":[117],"axiom":[119,124],"system.":[120],"Also,":[121],"another":[122],"unusual":[123],"system":[125],"will":[126],"presented":[128],"which":[129],"uses":[130],"renaming":[131],"replaces":[133],"every":[134],"(free":[135],"bound)":[137],"occurrence":[138],"variable":[141],"another.":[143],"Finally,":[144],"give":[146],"outline":[148],"program":[151],"written":[152],"PL/I":[154],"computes":[156],"normal":[158],"form":[159],"(if":[160],"any)":[161],"$-terms":[164],"using":[166],"our":[167],"axioms.":[168]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}