{“id”：“https://openalex.org/W2108869587“，”doi“：”https://doi.org/10.109/lics.2002.1029825“，”title“：”On the lambda Y calculation“，”display_name“：”On the lambda-Y calculates“，”publication_year“：2003，”publiation_date“：”2003-06-25“，”ids“：{”openalex“：”https://openalex.org/W2108869587“，”doi“：”https://doi.org/10.109/lics.2002.1029825“，”mag“：”2108869587“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.2002.1029825“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”R.Statman“，”raw _ afiliation_strings“：[“美国宾夕法尼亚州匹兹堡卡内基梅隆大学数学科学系”]，”affiliations“：[{”raw_ afiliation _string“：”美国宾夕法尼亚州匹兹堡卡内基梅隆大学数理科学系”，“institution_ids”：[”https://openalex.org/I74973139“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5051071400“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：1，”cited_by_percentile_year“：{”min“：64，”max“：70}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“id”：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9932，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9892，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.485227}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.8556553}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法解决的问题“，”level“：3，”score“：0.7720798｝，｛”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.7016272}，{”id“：”https://openalex.org/C77736955，“wikidata”：https://www.wikidata.org/wiki/Q1089708“，”display_name“：”Church encoding“，”level“：5，”score“：0.61844856}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5772652}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.56027734}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.50535184}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.5053397}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.50023246}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.4594726}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.43169555}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.42441875}，{”id“：”https://openalex.org/C55128367，“wikidata”：https://www.wikidata.org/wiki/Q2552799“，”display_name“：”System F“，”level“：3，”score“：0.417451}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.39908645}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.36114228}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.33671755}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.3359167}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.33426976}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.22004557}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.10028973}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128（网址：https://www.wikidata.org/wiki/Q12128）“，”display_name“：”牙科“，”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｝，｛”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：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/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.2002.1029825“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[｛”display_name“：”和平、正义和强大的机构“，”score“：0.81，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：3，”referrenced_works“：]”https://openalex.org/W1491550778","https://openalex.org/W2007098021","https://openalex.org/W2132784926“]，”related_works“：[”https://openalex.org/W4205386752","https://openalex.org/W3123171335","https://openalex.org/W2803077385","https://openalex.org/W2761902706","https://openalex.org/W2612830858","https://openalex.org/W2189323991","https://openalex.org/W2036107204","https://openalex.org/W2027907817","https://openalex.org/W1592479913","https://openalex.org/W1482545727“]，”ngrams_url“：”https://api.openalex.org/works/W2108869587/ngrams网站”，“abstract_inverted_index”：｛“In”：[0,75233]，“this”：[1,76105]，“paper”：[2,77]，“we”：[3,778133159162235]，“consider”：[4,80]，“three”：[5]，“problems”：[6]，“about”：[7]，“the”：[8,14,20,65,8212124127186189192228242]，“lambda”：[9,172119]，“Y”：[10,33,33,88220]，“calculus”：[11,18]，“gotived”：[12119]，“from”：[13,91112]，“simplely”：[15]，“typed”：[16,50]，“，”通过“：[19,38,52,58120202226]，”addition“：[21234]，”of“：[22,84110126129151188191230245248]，”fixed“：[23]，”point“：[24]，“combinators”：[25]，“Y:”：[26]，“（A/spl“：[27]，”rarr/A）/spl”：[28]，“rarr/A”：[29]，“The”：[30]，“\”paradoxical\“：[31]，”combinator“：[32]，”“：[34197]，”第一“：[35,47198]，”讨论“：[36]，”in“：[37,48104214]，”Curry“：[39]，”&“：[40]，”费斯“：[41]，“卷”：[42]，“1”：[43]，“（1958）。“：[44]，“它”：[45]，“出现”：[46]，“a”：[49108141145169172178181238]，“上下文”：[51]，“a.”：[53]，“斯科特”：[54]，“（1969）”：[55]，“和”：[56,63,72153176]，“也”：[57]，“R.”：[59]，“普拉泰克的”：[60]，“论文”：[61]，“1963年”，“：[62]，“形式”：[64]，“基础”：[66]，“用于“：[67241]，”L“：[68]，”C“：[69]，”F“：[70]，”（1980）“：[71]，”its“：[73]，”后代。“：[74]，“应”：[79,96134209236]，“（1）”：[81]，“问题”：[83125187196]，“是否”：[85140168177217]，“更高”：[86]，“类型”：[87,93249]，“是”：[89]，“可定义”：[90]，“更低”：[92]，“Y”：[94]，“我们”：[95208]，“显示”：[97135160163210]，“那”：[98136161164211]，“它”：[99137165212]，“is”：[100138166213224]，“not”：[101]，“case”：[103244]，“context，“：[106]，”锐化“：[107]，”结果“：[109116]，”我们的“：[111]，”[8]。“：[113]，”A“：[114]，”类似“：[115157]，”has“：[1171171180]，”been“：[118]，”Warner“：[121]，”Damm；“：[122]，”（2）“：[123]，”可判定性“：[128190]，”终止。“：[130]，“更多”：[131]，“精确”，：[132]，“可判定”：[139167]，“给定”：[142]，“术语”：[143170179]，“正常”：[146174]，“形式。”：[147]，“此”：[148195223]，“扩展”：[149]，“结果”：[150]，“Plotkin”：[152]，“Bercovicci。":[154],"[2].“：[155]，”By“：[156]，”methods“：[158]，”head“：[173]，”form“，”：[175]，“finited”：[182]，“Bohm”：[183]，“tree；“：[184]，”（3）“：[185]，”单词“：[193]，”问题。“：[194]，”put“：[199]，”to“：[200]，”us“：[201]，”Albert“：[203]，”Meyer“：[204]，”20“：[205]，”years“：[206]，”ago。“：[207]，”通用“：[215]，”不可判定“：[216]，”两个“：[218]，”术语“：[221]，”转换。“：[222]，”已完成“：[225]，”编码“：[227]，”行为“：[229]，”寄存器“：[231]，”机器。“：[232]，”给定“：[237]，”决策“：[239]，”过程“：[240]，”特殊“：[243]，”仅“：[246]，”Y的“：[247]，”（0/spl”：[250]，“rarr/0）/spl“：[251]，”rarr/0.“：[252]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2108869587“，”counts_by_year“：[{”年“：2021，”引用_by_count“：1}]，”更新日期“：”2024-06-19T00:48:13.071219“，”创建日期“：“2016-06-24”}