{“id”：“https://openalex.org/W2008350386“，”doi“：”https://doi.org/10.1016/0168-0072（91）90067-v“，”title“：”Kripke-style models for typed lambda calculations“，”display_name“：”Kripke-style models for typed lambda calculation“，”publication_year“：1991，”publitation_date“：”1991-03-01“，”ids“：{”openalex“：”https://openalex.org/W2008350386“，”doi“：”https://doi.org/10.1016/0168-0072（91）90067-v“，”mag“：”2008350386“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0168-0072（91）90067-v“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5060775456“，”display_name“：”John C.Mitchell“，”orcid“：”https://orcid.org/0000-0002-4065-3327}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”John C.Mitchell“，”raw _ afiliation_strings“：[“斯坦福大学计算机科学系，斯坦福，CA 94305，美国”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Eugenio Moggi“，”raw _ afiliation_strings“：[“英国爱丁堡大学计算机科学系”]}]“countries _ distinct_count”：2，”institutions _ disting_count“：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：3390，“currency”：“”美元”，“value_USD”：3390，“出处”：“doaj”｝，“apc_payed”：｛“value”：3390，“currency”：“USD”，“value_USD”：3390，“出处”：“doaj”｝，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：80，“cited_by_percentle_year”：｛“min”：96，“max”：97｝，“biblio”：｛“volume”：“51”，“issue”：“1-2”，“first_page”：“99“，”last_page“：”124“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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.9965，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9571，”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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.514993}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.503546}]，”concepts“：[{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke semantics“，”level“：4，”score“：0.7801517}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6350281}，{”id“：”https://openalex.org/C161913894，“wikidata”：https://www.wikidata.org/wiki/Q1077740“，”display_name“：”Kripke结构“，”level“：3，”score“：0.60148084}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.510008}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.48628128}，{”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭类“，”level“：2，”score“：0.48260367｝，｛”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.47345278}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037网址“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4725967}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.44586316}，{”id“：”https://openalex.org/C47030870，“wikidata”：https://www.wikidata.org/wiki/Q467606“，”display_name“：”模型理论“，”level“：2，”score“：0.4377139}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.43437508}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.3921527}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37204903}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.36835045}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.35316825}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.34523827｝，｛”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.28179032}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.2547163}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.13145712}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697网址“，”display_name“：”模型检查“，”级别“：2，”分数“：0.11634421}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.08570108}，{”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“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0168-0072（91）90067-v“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：17，“referrenced_works”：https://openalex.org/W124154939","https://openalex.org/W1497630311","https://openalex.org/W1598402215","https://openalex.org/W1964913565","https://openalex.org/W1965297988","https://openalex.org/W1978856319","https://openalex.org/W2013668092","https://openalex.org/W2039410378","https://openalex.org/W2049362364","https://openalex.org/W2060621887","https://openalex.org/W2153941105","https://openalex.org/W2160331299","https://openalex.org/W2969873114","https://openalex.org/W4238577588","https://openalex.org/W4247052886","https://openalex.org/W4861723","https://openalex.org/W633421911“]，”related_works“：[”https://openalex.org/W4309957002","https://openalex.org/W3133088634","https://openalex.org/W2942236696","https://openalex.org/W2146437601","https://openalex.org/W2119636363","https://openalex.org/W2114701904","https://openalex.org/W1592473838","https://openalex.org/W1566334111","https://openalex.org/W1507606719","https://openalex.org/W1487264664“]，”ngrams_url“：”https://api.openalex.org/works/W2008350386/ngrams“，”“abstract_inverted_index”：{“Mitchell，”：[0]，“J.C.”：[1]，“and”：[2,14204]，“E.”：[3]，“Moggi，”：[4]，”“Kripke-style”：[5,56]，“models”：[6,64,80,88131]，“for”：[7129141]，“typed”：[8,23]，“lambda”：[9,24,63,87122]，“calculates，”：[10]，“Annals”：[11]，“of”：[12,22,33,3,312]8,55,69,81148158168181209]，“纯”：[13]，“应用”：[15]，“逻辑”：[16]，“51”：[17]，“（1991）”：[18]，“99\u2013124.“：[19]，”The“：[20]，”semantics“：[21]，”calculations“：[25123]，”is“：[26126151155178]，”commurly“：[27]，”descripted“：[28]，”using“：[29]，“Henkin”：[30130192]，”models“：[31]，”compositions“：[32]，”functions“：[34]，”over“：[35,72171190]，”some“：[36166]，”collection“：[37]，”set，“：[39]，”or“：[40,83115]，”混凝土“：[41]，”笛卡尔“：[42,66,99196]，”闭合“：[43,67100152197]，”类别“：[44101]，”其中“：[45]，”是“：[46,65,89]，”本质上“：[47]，”等价。“：[48]，”我们“：[49163194]，”描述“：[50]，”a“：[51,73159182186191]，”更多“：[52]，”通用“：[53]，”类“：[54]，”模型。“：[57143]，“In”：[58144]，“categorial”：[59]，“terms”，“：[60]，“our”：【61】，“Kripke”：【62，79，86142161172187】，“subcategories”：【68】，“the”：【70106120156179201207】，“presleves”：[71]，“poset”。“：[74]，”To“：[75]，”these“：[76]，”seekly“：[77]，”with“：78]，”modal“：[82]，”直觉主义“：[84]，”logics，“：[85]，”like“：[90]，”To“：[91110]，”siement“：[92]，”successfully“：[93]，”selmantic“。“：[94]，”然而，“：[95]，”当“：[96]，”查看“：[97]，”作为“：[99811]，”他们“：[102]，”做“：[103]，”不是“：[104127]，”有“：[105134]，”财产“：[107]，”各种“：[108]，”参考“：[109]，”具体性，“：[112]，”好-“：[113]，”尖锐性“：[114]，”有“：[116]，”足够“：[117]，”点。“：[118]，”While“：[119]，”traditional“：[121]，”proof“：[124]，”system“：/125]，”complete“：[128]，”that“：[132150175]，”may“：[133]，”empty“：%135]，”types，“：[136]，”we“：%137]，”rove“：[138]，”strong“：[139]，”completivery“：[140]，”fact，“every”：[146176]，”set“：[147]，”equations“：[149]，”under“：[153]，”暗示“：[154]，”理论“：[157177180]，”单一“：[160]，”模型。“：[162193]，”也“：[164]，”开发“：[165]，”属性“：[167]，”逻辑“：[169]，”关系“：[170]，”结构“：[173]，”显示“：[174]，”模型“：[183]，”确定“：[184]，”由“：[185]，”等价“：[188]，”关联“：[189]，”讨论“：[195]，”类别“：[198]，”但“：[199]，”当前“：[200]，”主要“：[202]，“定义”：[203]，“结果”：[205]，“没有”：[206]，“使用”：[208]，“类别”：[210]，“理论”：[211]}，“引用的by_api_url”：“https://api.openalex.org/works？filter=cites:W2008350386“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”ciped_by_cunt“：1}，”{“年份”：2022，“cited_by_count”：2}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_by_count”：1}，{“年份”:2014，“引用_ by-count”:1}，“updated_date”：“2024-06-05T07:10:09.516625”，“创建日期”：“2016-06-24”}