{“id”：“https://openalex.org/W3104111471“，”doi“：”https://doi.org/10.1017/s096012951500389“，”title“：”Clocked lambda calculus“，”display_name“：”Clocked lampda calculation“，”publication_year“：2015，”publiation_date“：”2015-10-15“，”ids“：{”openalex“：”https://openalex.org/W3104111471“，”doi“：”https://doi.org/10.1017/s096012951500389“，”mag“：”3104111471“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500389“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joaral-article”，“indexed_in”：[”arxiv“，”crossref“，”“datacite”]，“open_access”：{“is_oa”：true，“oa_status”：“绿色”，“oaurl“：”http://arxiv.org/pdf/1405.7500“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5029479330“，”display_name“：”J\u00f6rg Endrullis“，”orcid“：”https://orcid.org/0000-0002-2554-8270“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”J\u00d6RG ENDRULLIS“，”raw _ afiliation_strings“：[”阿姆斯特丹大学计算机科学系“]，”affiliations“：[{”raw _affiliation_strong“：”阿姆斯特朗大学计算机科学部“，”institution_ids“：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5026514058“，”display_name“：”Dimitri Hendriks“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Dimitri Hendriks“，“raw_affiliation_strings”：[“阿姆斯特丹VU大学计算机科学系”]，“afliations”：[{“raw_affiliation_string”：“阿姆斯特朗VU大学计算科学系”，”institution_ids“：[]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5013710541“，”display_name“：”Jan Willem Klop“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Jan Willem Klop“，”raw _affiliation_string“：[”VU University Amsterdam“]计算机科学系，“affiliations”：[{“raw_affiliation _string”：“VU Unity Amstertam”，“institution_ids”：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5033589410“，”display_name“：”Andrew Polonsky“，”orcid“：”https://orcid.org/0000-0003-4515-9827“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”ANDREW POLONSKY“，”raw _ afiliation_strings“：[”阿姆斯特丹VU大学计算机科学系“]，”从属关系“：[{”raw _affiliation_string“：”阿姆斯特朗VU大学计算科学系“，”institution_ids“：[]}]，“institution_assertions”：[]countries_distiction_count“：0，”institutions_disticent_count”：0，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：nully，“fwci”：0.334，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：1，“citation_normalized_percentile”：{“value”：0.582362，“is_in_top_1_percent”：false，“is _in_top _1”0_percent“：false}，”cited_by_percentile_year“：{”min“：66，”max“：73}，“biblio”：{“volume”：“27”，“issue”：“5”，“first_page:”782“，”last_page“：”806“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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.9889，“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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9889，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/combinary-logic（https://openalex.org/keywords/combinary-logic）“，”display_name“：”组合逻辑“，”score“：0.68537784}，{”id“：”https://openalex.org/keywords/unary-operation（https://openalex.org/keywords/unary-operation）“，”display_name“：”一元运算“，”score“：0.5868355}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.492351}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.68537784}，{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”一元运算“，”level“：2，”score“：0.5868355}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5672358}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.54527766}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.50029254｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.42023498}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.37934268}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.33168608}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32030618}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.30217487}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.07786217}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500389“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1405.7500，“pdf_url”：http://arxiv.org/pdf/1405.7500，“源”：{“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“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1405.7500，“pdf_url”：https://arxiv.org/pdf/1405.7500，“源”：{“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“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/1871.1/b7693a9c-4395-4d27-b1ca-b675192919f7，“pdf_url”：https://research.vu.nl/files/278171502/Clocked_lambda_calculus.pdf“，”source“：null，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.1405.7500“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1405.7500，“pdf_url”：http://arxiv.org/pdf/1405.7500，“源”：{“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}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W3104111471“]，”referenced_works_count“：22，”referrenced_works“：[”https://openalex.org/W1520050772","https://openalex.org/W1606843361","https://openalex.org/W1844775953","https://openalex.org/W1877960822","https://openalex.org/W1883143037","https://openalex.org/W1903854703","https://openalex.org/W1968168625","https://openalex.org/W1970779642","https://openalex.org/W2007270285","https://openalex.org/W2080156260","https://openalex.org/W2087086022","https://openalex.org/W2088941870","https://openalex.org/W2104073699","https://openalex.org/W2112288560","https://openalex.org/W2126431612","https://openalex.org/W2154273644","https://openalex.org/W2160283637","https://openalex.org/W2177680287","https://openalex.org/W2952252756","https://openalex.org/W3100189973","https://openalex.org/W3103412371","https://openalex.org/W621660039“]，”related_works“：[”https://openalex.org/W4388216578","https://openalex.org/W3043302847","https://openalex.org/W2756772206","https://openalex.org/W2160667911","https://openalex.org/W1903854703","https://openalex.org/W1845470786","https://openalex.org/W1554287119","https://openalex.org/W154751840","https://openalex.org/W1487768293","https://openalex.org/W1135000581“]，”“abstract_inverted_index”：{“One”：[0]，“of”：[1,26,35,94146156172193202]，“the”：[2,22,31,74,95106110113124149153173175189194203]，“best known”：[3]，“methods”：[4]，“for”：[5141]，“discriminating”：[6142211]，“\u03bb-terms”：[7,39147]，“with”：[28,98]，“respect”：[9]，“to”：[10,14,20104112]，“\u03b2-convertibility“：[11]，”是“：[12,19117]，”到期”：[13]，“Corrado”：[15]，“B\u00f6小时。“：[16]，”The“：[17]，”idea“：[18]，”compute“：[21]，”infininary“：[23118121126]，”normal“：[24127]，”form“：/25]，”a“：[27,88,99143170199]，”\u03bb-term“：[28]，“M”：[29,36,40,47,54]，“，”：[30,41,51,91179]，“B\u00f6hm”：[32]，“Tree”：[33]，“（BT）”：[34]，“。“：[37，81437]，”If“：[38]，”N“：[42，50，56]，”have“：[43，73]，”distinct“：[44]，”BTs“：[4513151]，”then“：[46]，”\u2260“：[48]，”\u03b2“：[49]，”that“：[52186207]，”is，“：[53]，”and“：[55123]，”are“：[57139]，”not“：[58]，”\u03b2 converted。“：[59]，”“但是”：[60]，“什么”：[61]，“如果”：[62]，“他们的”：[63]，“基站”：[64136206]，“重合？“：[65]，”对于“：[66]，”示例，“：[67]，”all“：[68]，”fixed“：[69]，”point“：[70]，”combinator“：[71]，”（FPC）“：[72]，”same“：[75150]，”BT“：[76]，”即“：[77]，”\u03bbx.x“：[78]，”。“：[85]，“我们”：[86159]，“介绍”：[87]，“时钟”：[89135177205]，“\u03bb-calculus”：[90,97178]，“an”：[92]，“扩展”：[93116]，“经典”：[96]，“一元”：[100]，“符号”：[101]，“\ u03c4”：[102184]，“已使用”：[103]，“见证”：[105188]，“u03b2-steps”：[107]，“需要”：[108]，“in”“：[109165]，”规范化“：[111]，”BT.“：[114]，”此“：[115]，”强“：[119]，”规范化，“：[120]，”合流“：[122]，”独特“：[125]，”形式“：[128]，”构成“：[129]，”丰富“：[130]，”其中“：[132]，”我们“：[133181]，”调用“：[134]，”这些“：[138]，”合适“：[140]，”富“：[144]，”类“：[145]，”有“：[148]，”包括“：[152]，”众所周知“：[154]，”序列“：[155]，”B\u00f6hm“：[157]，”FPC。“：[158]，”进一步“：[160]，”增加“：[161]，”歧视“：[163]，”权力“：[164]，”两个“：[166]，”方向。“：[167]，”第一，“：[168]，”由“：[169197]，”细化“：[171]，”微积分：“：[174]，”原子“：[176]，”其中“：[180]，”采用“：[182]，”符号“：[183]，”p“：[185192]，”还“：[187]，”（相对）“：[190]，”位置“：[191]，”u03b2-steps。“：[195]，”第二，“：[196]，”使用“：[198]，”本地化“：[200]，”版本“：[201]，”（原子）“：[204]，”有“：[208]，”偶数“：[209]，”更多“：[210]，”功率。“：[212]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3104111471“，”counts_by_year“：[{”年“：2017，”cited_by_count“：1}]，”更新日期“：”2024-09-20T00:16:31.378682“，”创建日期“：“2020-11-23”}