{“id”：“https://openalex.org/W1485696689“，”doi“：”https://doi.org/10.1007/3-540-15984-3_259“，”title“：”句法等价诱导语义等价“，”display_name“：”语法等价诱导语义等效“，”publication_year“：1985，”publitation_date“：”1985-01-01“，”ids“：{”openalex“：”https://openalex.org/W1485696689“，”doi“：”https://doi.org/10.1007/3-540-15984-3_259“，”mag“：”1485696689“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-15984-3_259“，”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、”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“，”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/A5104455887“，”display_name“：”P-L.居里“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”P-L.Curien“，”raw _affiliation_strings“：[“CNRS-Universit\u00e9 Paris VII，LITP”]，”affiliations“：[{”raw _affiliation_string“：”https://openalex.org/I204730241","https://openalex.org/I1294671590“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5104455887“]，”对应的机构ID“：[”https://openalex.org/I204730241","https://openalex.org/I1294671590“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：2，”citation_normalized_percentile“：{“value”：0.483475，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：fales}，“cited_by_percentile_year”：{“min”：62，“max”：66}，“biblio”：{“volume”：空，“issue”：空first_page“：”168“，”last_page“：”178“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9846，”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.9695，“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/cartesian-closed-category网站“，”display_name“：”笛卡尔闭合范畴“，”score“：0.932858}，{”id“：”https://openalex.org/keywords/cartesian-product网站“，”display_name“：”笛卡尔积“，”score“：0.6125335}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.501782｝，｛”id“：”https://openalex.org/keywords/category-theory网站“，”display_name“：”范畴理论“，”score“：0.4700094}，{”id“：”https://openalex.org/keywords/church-encoding网站“，”display_name“：”Church encoding“，”score“：0.435268}]，”concepts“：[{”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭合范畴“，”level“：2，”score“：0.932858}，{”id“：”https://openalex.org/C16038011，“wikidata”：https://www.wikidata.org/wiki/Q62912“，”display_name“：”笛卡尔坐标系“，”level“：2，”score“：0.6590064}，{”id“：”https://openalex.org/C65236422，“wikidata”：https://www.wikidata.org/wiki/Q173740“，”display_name“：”笛卡尔积“，”level“：2，”score“：0.6125335}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（正式语言）“，”level“：2，”score“：0.60986274}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.58080834}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”：“字段上的代数”，“level”：2，“score”：0.4848729}，{“id”：“https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47867283}，{”id“：”https://openalex.org/C54884031，“wikidata”：https://www.wikidata.org/wiki/Q217413“，”display_name“：”分类理论“，”level“：2，”score“：0.4700094｝，｛”id“：”https://openalex.org/C77736955，“wikidata”：https://www.wikidata.org/wiki/Q1089708“，”display_name“：”Church encoding“，”level“：5，”score“：0.435268}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.429919}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.42353603}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.36660904}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.35682458}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.34886566}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.28387582}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.27694675}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.108073354}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.08559233}，{”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（网址：https://www.wikidata.org/wiki/Q12128）“，”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-15984-3_259“，”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、”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“，”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”：8，“referenced_works“：[”https://openalex.org/W1518885716","https://openalex.org/W1567828704","https://openalex.org/W1598625331","https://openalex.org/W2166134427","https://openalex.org/W2222603224","https://openalex.org/W2582948134","https://openalex.org/W2914821813","https://openalex.org/W4246588914“]，”related_works“：[”https://openalex.org/W3133088634","https://openalex.org/W2942236696","https://openalex.org/W2172326768","https://openalex.org/W2146437601","https://openalex.org/W2123579319","https://openalex.org/W2119636363","https://openalex.org/W2114701904","https://openalex.org/W1592473838","https://openalex.org/W1566334111","https://openalex.org/W1487264664“]，”abstract_inverted_index“：{”Following“：[0]，”the“：[1,25,50120134142]，”idea“：[2]，”behind“：[3]，”algebral“：[4]，”theorys“：[5]，”we“：[6]，”define“：[7]，”a“：[8,37,61,82,95103]，”fairly“：[9]，”general“：[10]，”concept“：[11]，”of“：[12,28,68133137]，”equivalence“：[13,21,63]，”between“：[14,53,64109]，“二”：[15]，“多列”：[16]，“等式”：[17]，“演示文稿“：[18]，”s.t.“：[19]，”an“：[20,65,99130]，”is“：[22]，”induced“：[23]，”on“：[24]，”correspondent“：[26]，”categories“：[27,71,80114125147]，”models。“：[29]，”This“：[30]，”definition“：[31]，”allow“：[32]，”to“：[33，36，43，86144]，”bring“：[34]，”down“：[35]，”符号“：[38]，”level“：[39，98]，”some“：[40]，”equivalences“：[41108]，”known“：[42，51]，”model“：[44]，”理论家。“：[45]，“我们”：[46,59]，“图解”：[47]，“这个”：[48]，“对于”：[49129153160]，“连接”：[52]，“\u03bb-calculus”：[54110]，“和”：[55,77,89102111150]，“笛卡尔”：[56,69,78112123138145]，“闭合”：[57,70,79113124139146]，“类别”。“：[58]，“present”：[60]，“syntax”：[62,97107]，“\”untyped“”：[66]，“version”：[67]，“（即：[72]，”where“：[73]，”objects“：[74]，”are“：%7515]，”dropted“），“：[76]，”with“：+81]，”universal“：[83]，”object“，”：[84]，“isomorporphic”：[85]，”its“：87]，”product“：[88]，”function“：[90]，“空格，”：[91]，“因此”：[92]，“相关”：[93]，“在”：[94]，“纯”：[96]，“非类型化”：[100]，“微积分“：[101]，”类型“：[104]，”微积分。“：[105]，“直接”：[106]，“探索”：[116]，“in”：[117]，“同伴”：[118]，“论文：”：[119]，“方向”：[121143]，“来自”：[122]，“可以”：[126]，“是”：[127]，“使用”：[128]，“优雅”：[131]，“解决方案”：[132]，“单词”：[135]，“问题”：[136]，“类别，”：[140]，“而”：[141]，“提供”：[148]，“简单”：[149]，“高效”：[151]，“技术”：[152]，“实施”：[154]，“函数“：[155]，”编程“：[156]，”语言“：[157]，”良好“：[158]，”适合“：[159]，”特殊“：[161]，”VLSI“：[162]，”设计。“：[163]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1485696689“，”counts_by_year“：[]，”updated_date“：”2024-09-14T10:59:04.813235“，”创建日期“：”2016-06-24“}