{“id”：“https://openalex.org/W4289104030“，”doi“：”https://doi.org/10.1007/978-3-031-10769-6-36“，”title“：”带绑定语法的基于重排和重命名的递归“，”display_name“：”带有绑定语法的重排和基于重命名的递归”，“publication_year”：2022，“publiation_date”：“2022-01-01”，“ids”：{“openalex”：“https://openalex.org/W4289104030“，”doi“：”https://doi.org/10.1007/978-3-031-10769-6_36“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-10769-6_36，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_36.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_36.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5064907118“，”display_name“：”Andrei Popescu“，”orcid“：”https://orcid.org/0000-0001-8747-0619}，“机构”：[{“id”：https://openalex.org/I91136226“，”display_name“：”谢菲尔德大学“，”ror“：”https://ror.org/05krs5044“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I91136226“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Andrei Popescu“，”raw _ afiliation_strings“：[“英国谢菲尔德大学计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”英国谢菲尔德学院计算机科学系“，”institution_ids“：[https://openalex.org/I91136226“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5064907118“]，”对应的机构ID“：[”https://openalex.org/I91136226“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{”value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“fwci”：1.908，“has_fulltext”：false，“cited_by_count”：2，“ciped_by_percentile_year”：{“min”：76，“max”：81}，“：{”volume“：null，”issue“：null，”first_page“：”618“，”last_page“：”639“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9999，”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“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9985，”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“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9866，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.546088}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.519753}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.510021}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7001239}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.55218434｝，｛”id“：”https://openalex.org/C182365436，“wikidata”：https://www.wikidata.org/wiki/Q50701“，”display_name“：”变量（数学）“，”level“：2，”score“：0.50435674}，{”id“：”https://openalex.org/C17435882，“wikidata”：https://www.wikidata.org/wiki/Q17030435“，”display_name“：”HOL“，”level“：2，”score“：0.49405864}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.48342717}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.4714851}，{”id“：”https://openalex.org/C172252984，“wikidata”：https://www.wikidata.org/wiki/Q368988网址“，”display_name“：”Idempotence“，”level“：2，”score“：0.4430012}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.44088155}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.43240908}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.4199021}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.38100612}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3635317}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3340947}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.29768026}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.24427253}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.23516998}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1757456}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.08671808}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”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}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-10769-6_36，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6-36.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://eprints.whiterose.ac.uk/191500/6/978-3-031-10769-6_36.pdf，“pdf_url”：https://eprints.whiterose.ac.uk/191500/6/978-3-031-10769-6_36.pdf，“源”：{“id”：https://openalex.org/S4306400854“，”display_name“：”白玫瑰在线研究（利兹大学、谢菲尔德大学、约克大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I2800616092“，”host_organization_name“：”白玫瑰大学联盟“，”host_organization_lineage“：[”https://openalex.org/I2800616092“]，”host_organization_lineage_names“：[”White Rose University Consortium“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2205.09233，“pdf_url”：https://arxiv.org/pdf/2205.09233，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3-031-10769-6_36，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_36.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W123923308","https://openalex.org/W1496188934","https://openalex.org/W1524793155","https://openalex.org/W1551936078","https://openalex.org/W1587287586","https://openalex.org/W1588934256","https://openalex.org/W1684926818","https://openalex.org/W1727609483","https://openalex.org/W1748618619","https://openalex.org/W1961757151","https://openalex.org/W1974190112","https://openalex.org/W1975957807","https://openalex.org/W1981858926","https://openalex.org/W1992655849","https://openalex.org/W1993375565","https://openalex.org/W1995955735","https://openalex.org/W2003701327","https://openalex.org/W2011407760","https://openalex.org/W2034319793","https://openalex.org/W2035625755","https://openalex.org/W2037026294","https://openalex.org/W2058174669","https://openalex.org/W2091657052","https://openalex.org/W2100730017","https://openalex.org/W2108857165","https://openalex.org/W2109735325","https://openalex.org/W2113705064","https://openalex.org/W2116438866","https://openalex.org/W2123360309","https://openalex.org/W2123887510","https://openalex.org/W2129680473","https://openalex.org/W2137850935","https://openalex.org/W2140849218","https://openalex.org/W2152317475","https://openalex.org/W2162208777","https://openalex.org/W2180471721","https://openalex.org/W2219497026","https://openalex.org/W2402209726","https://openalex.org/W2564286502","https://openalex.org/W2568721247","https://openalex.org/W2596094020网址","https://openalex.org/W2763665294","https://openalex.org/W2780833610","https://openalex.org/W2884724299","https://openalex.org/W2899841824","https://openalex.org/W2935704972","https://openalex.org/W2995917016","https://openalex.org/W2999700365","https://openalex.org/W4237428230","https://openalex.org/W4245071229","https://openalex.org/W4246086292","https://openalex.org/W4250846042“]，”related_works“：[”https://openalex.org/W787793384","https://openalex.org/W4293192252","https://openalex.org/W4246531319","https://openalex.org/W2886069053","https://openalex.org/W2797934247","https://openalex.org/W2152762348","https://openalex.org/W1588723084","https://openalex.org/W1575011135","https://openalex.org/W1522519483","https://openalex.org/W1515169568“]，”ngrams_url“：”https://api.openalex.org/works/W4289104030/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“I”：[1]，“introduce”：[2]，“renaming-enriched”：[3]，“set”：[4]，“（”：[5]，“rensets”：[6,76]，“for”：[7]，“short”），“：[8]，“which”：[9123]，“are”：[10]，“algebratical”：[11]，“structures”：[12]，“axiomatizing”：[13]，“basic”：[14,47110]，“properties”：[15,71]，“of”：[16,72,82101128]，“renaming”：[17,43]，“（also”：[18]，“known”：[19]，“as”：[20，91]，“variable for variable”：[21]，“substitution）”：[22]，“on”：[23，38]，“syntax”：[24141]，“with”：[25，33，61，6161]，“bindings。”：[26]，“Rensets”：[27]，“compare”：[28]，“preferry”：[29]，“in”：[30142]，“some”：[31，67]，“respections”：[32]，“the”：[34，50，62,73108113126153162]，“known”：[35]，“基础”：[36]，“基础”：[37]，“标称”：[39,51129154]，“套。“：[40]，”In“：[41]，”specific“：[42]，”is“：[44148]，”a“：[45,56,78120]，”more“：[46]，”operator“：[48,53]，”than“：[49152]，”swapping“：[52]，”and“：[54115]，”haves“：55]，”simpler“：[57]，”equationally“：[58]，”expressed“：[59]，”relationship“：[60]，”variable-freshness“：[63]，”predicator。“：[64]，”Together“：[65]，”natural“：[68]，”axioms“：[69]，”matching“：[70]，”syntaxic“：[74]，”constructors“，”：[75]，“yield”：[77]，“truel”：[79]，“minimalistic”：[80]，“characterization”：[81118]，“$\\lambda”：[83]，“$”：[84]，”":[86],"\u03bb公司":[87],"“：[88]，”-演算“：[89]，”术语“：[90]，”an“：[92,98]，”抽象“：[93]，”数据类型“：[94]，”\u2013“：[95]，”one“：[96]，”涉及“：[97]，”无限“：[99]，”set“：[100]，”无条件“：[102]，”等式“：[103]，”，“：[104]，”引用“：[105]，”仅“：[106]，”to“：[107125150]，”大多数“：[109]，“术语”：[111]，“运算符：”：[112]，“构造函数”：[114]，“重命名”。“：[116]，”This“：[117]，”yields“：[119]，”recursion“：[121]，”principle“，”：[122]，“（类似地”：[124]，”case“：[127]，”sets“）”：[130]，”can“：[131]，”be“：[132]，”improved“：[133]，”by“：[134]，”incorporating“：[135]，”Barendregt\u2019s“：%136]，”variable“：[137]，”convention。“：[138]，”当“：[139]，”解释“：[140]，”语义“：[143]，”域“：[144]，”我的“：[145]，”基于重命名“：[146]，”递归“：[147]，”更容易“：[149]，”部署“：[151]，”递推器。“：[155]，”我的“：[156]，”结果“：[157]，”已经“：[158]，”被“：[159]，”验证“：[160]，”证明“：[163]，”助理“：[164]，”伊莎贝尔/HOL。“：[165]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4289104030“，”counts_by_year“：[{”年“：2023，”引用_by_count“：2}]，”更新日期“：”2024-06-28T02:29:41.177433“，”创建日期“：“2022-08-01”}