{“id”：“https://openalex.org/W68732782“，”doi“：”https://doi.org/10.1007/3-540-48959-2_13“，”title“：”显式键入\u03bb\u03bc-Calculus for Polymophy and Call-by-Value“，”display_name“：”隐式键入\u 03bb\u 03bc-Ccalculus of Polymophi and Call-by-Valge“，”publication_year“：1999，”publiction_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W68732782“，”doi“：”https://doi.org/10.1007/3-540-48959-2_13“，”mag“：”68732782“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_13“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5019957756“，”display_name“：”Ken-etsu Fujita“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I207014233“，”display_name“：”九州理工学院“，”ror“：”https://ror.org/02278tr80“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I207014233“]}]，”国家“：[”JP“]，”is_corresponding“：true，”raw_author_name“：”Ken-etsu Fujita“，”raw_affiliation_strings“：[“九州理工学院，Iizuka，820-8502，日本”]，”affiliations“：[{”raw_affiliation_string“：”九州理工学院，Iigka，820-8502，日本”，“institution_ids”：[“https://openalex.org/I207014233“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5019957756“]，”对应的机构ID“：[”https://openalex.org/I207014233“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：6，”cited_by_percentile_year“：{”min“：76，”max“：77}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“162”，“last_page”：“177”}，，“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.9955，“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.9953，”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.505092}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.501361}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.654481}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.6258212}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.59635234}，{”id“：”https://openalex.org/C88626702，“wikidata”：https://www.wikidata.org/wiki/Q1128903“，”display_name“：”Continuation“，”level“：2，”score“：0.5237025｝，｛”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.4937819}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.49314898}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.38739946｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段上的代数“，”级别“：2，”分数“：0.35490915}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25792807}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.18586594}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/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/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｝，｛”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_13“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：31，“referenced_works“：[”https://openalex.org/W1228189651","https://openalex.org/W1486617783","https://openalex.org/W1493622620","https://openalex.org/W1511921628","https://openalex.org/W1557413548","https://openalex.org/W1561777167","https://openalex.org/W1566334111","https://openalex.org/W1584940602","https://openalex.org/W1670545880","https://openalex.org/W1778269567","https://openalex.org/W1977212480","https://openalex.org/W1988097129","https://openalex.org/W2002837892","https://openalex.org/W2008920425","https://openalex.org/W2013654056","https://openalex.org/W2014889169","https://openalex.org/W2034257290","https://openalex.org/W2055655588","https://openalex.org/W2080040385","https://openalex.org/W2088735483","https://openalex.org/W2097230120","https://openalex.org/W2098456419","https://openalex.org/W2132936218","https://openalex.org/W2135287414","https://openalex.org/W2137657593","https://openalex.org/W2138875086","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2220986375","https://openalex.org/W267417","https://openalex.org/W4388299483“]，”related_works“：[”https://openalex.org/W4248087735","https://openalex.org/W2950279424","https://openalex.org/W2352275403","https://openalex.org/W2199313715","https://openalex.org/W2159885618","https://openalex.org/W2105216341","https://openalex.org/W2012352190","https://openalex.org/W1994937216","https://openalex.org/W1603543958","https://openalex.org/W1574493518“]，”ngrams_url“：”https://api.openalex.org/works/W68732782/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“introduce”：[1]，“an”：[2,62,85,88]，“显式”：[3,86]，“typed”：[4,90]，“\u03bb\u03bc-calculus”：[5]，“of”：[6,55,65115]，“call-by-value”：[7]，“as”：[8,30]，“a”：[9,98108]，“shorthand”：[10]，“for”：[11]，“the”：[12,20,38,42,4,4 7,53,71113]，“第二”：[13]，“命令”：[14,80]，“教堂风格”：[15]，“我们的”：[16]，“动机”：[17]，“comes“：[18]，”from“：[19]，”observation“：[21]，”that“：[22,70]，”in“：[23,35,57]，”Curry-style“：[24]，”polymorphic“：[25]，”calculi“：[26]，”control“：[27,43]，”operators“：[28]，“such”：[29]，“callcc”：[31]，“or”：[32]，“\u03bc-operator”：[33]，“cannot，”：[34]，“general，”treat“：[37]，”terms“：[39]，”placed“：[40]，”on“：[41]，”operator\u2019s“：[44]，”left。“：[45]，”跟随“：[46]，”延续“：[48]，”语义“：[49]，”我们“：[50,83,96]，”还“：[51]，”讨论“：[52107]，”概念“：[54]，”值“：[56]，”经典“：[58]，”系统“：[59]，”和“：[60,87106]，”提议“：[61]，”扩展“：[63]，”形式“：[64]，”数值。“：[66]，”It“：[67]，”is“：[68,73]，”shown“：[69]，”CPS-translation“：[72]，”sound“：[74]，”with“：%75,93101117]，”respect“：[76]，”to“：[77111]，”\u03bb2“：[78]，”（2nd“：[79]，”\ u03bb-calculus）。“：[81]，”下一步“：[82]，”提供“：[84]，”隐含“：[89]，”Damas-Millner“：[91]，”系统“：[92]，”\u03bc-operator。“：[94]，”最后，“：[95]，”给定“：[97]，”简短“：[99]，”比较“：[100]，”标准“：[102]，”ML“：[103116]，”加“：[104]，”调用，“：[105]，”自然“：[109]，”方式“：[110]，”避免“：[112]，”不健全“：[114]，”回调。“：[118]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W68732782“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：1}]，”更新日期“：”2024-06-16T11:17:01.087602“，”创建日期“：“2016-06-24”}