{“id”：“https://openalex.org/W4297786044“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.013“，”title“：”Simply Typed Resource Calculi的分类模型“，”display_name“：”Shoply Typeed Resource Carculi的类别模型“，“publication_year”：2010，“publiction_date”：“2010-09-01”，“ids”：{“openalex”：“https://openalex.org/W4297786044“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.013“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.013“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2010.08.013“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5064465385“，”display_name“：”Antonino Salibra“，”orcid“：”https://orcid.org/0000-0001-6552-2561}，“机构”：[{“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/I4210139011“，”“display_name”：“Laboratory Preuves，Programms et Syst\u00e8mes”，“错误”：“https://ror.org/046p9e825“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I204730241","https://openalex.org/I4210139011","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Antonio Bucciarelli“，”raw _ afiliation_strings“：[“PPS-Preuves，Programmes et Syst\u00e8mes（University \u00e 9 Paris Diderot，B\u00esit.Sophie Germain，case postale 7014，75205 Paris Cedex 13-France）”]，“afliations”：[{“raw _ ffiliation_string”：“PPS-Preuves，Programmes et Syst\u00e8mes（巴黎迪德罗大学，B\u00e，Sophie Germain，邮政信箱7014，75205 Paris Cedex 13-法国）“，”institution_ids“：[”https://openalex.org/I204730241","https://openalex.org/I4210139011“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5006888140“，”display_name“：”Thomas Ehrhard“，”orcid“：”https://orcid.org/0000-0001-5231-5504}，“机构”：[{“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/I4210139011“，”display_name“：”实验室准备、计划和系统\u00e8mes“，”ror“：”https://ror.org/046p9e825“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I204730241","https://openalex.org/I4210139011","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Thomas Ehrhard“，”raw _ afiliation_strings“：[“PPS-Preuves，Programmes et Syst\u00e8mes（University \u00e 9 Paris Diderot，B\u00esit.Sophie Germain，case postale 7014，75205 Paris Cedex 13-France）”]，“afliations”：[{“raw _ ffiliation_string”：“PPS-Preuves，Programmes et Syst\u00e8mes（巴黎迪德罗大学，B\u00e，Sophie Germain，邮政信箱7014，75205 Paris Cedex 13-法国）“，”institution_ids“：[”https://openalex.org/I204730241","https://openalex.org/I4210139011“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5058216930“，”display_name“：”Giulio Manzonetto“，”orcid“：”https://orcid.org/0000-0003-1448-9014}，“机构”：[{“id”：https://openalex.org/I4210091279“，”display_name“：”巴黎北索邦大学\u00e9“，”ror“：”https://ror.org/0199hds37“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I4210091279“]}，{”id“：”https://openalex.org/I4210156583“，”display_name“：”巴黎诺德信息实验室“，”ror“：”https://ror.org/05g1zjw44“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Giulio Manzonetto“，”raw _ afiliation_strings“：[“LIPN-巴黎北部信息实验室（巴黎大学加利尔研究所\u00e9e，巴黎大学\u00e 9 13，99 avenue Jean-Baptiste Cl\u00e9ment，F-93430，Villetaneuse-France）”]，“afiliations”：[{“raw _ ffiliation_string”：“LIPN-法国北部巴黎信息实验室（巴黎大学加利尔研究所13号，99 avenue Jean-Baptiste Cl\u00e9ment，F-93430，Villetaneuse-France）“，”institution_ids“：[”https://openalex.org/I4210091279","https://openalex.org/I4210156583“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：4，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：6.578，“has_fulltext_origin”：true，“fulltext”：“pdf”，“cited_by_count）：25，“citation_normalized_percentile”：{“value”：0.9818 69，“is_in_top_1_percent”：假，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：90，”max“：91}，“biblio”：{“volume”：“265”，“issue”：null，“first_page”：“213”，“last_page”：”230“}，‘is_retracted’：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9978，“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.9978，“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.9903，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.978，”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/finitial网站“，”display_name“：”Finitary“，”score“：0.80567294}，{”id“：”https://openalex.org/keywords/difference-calculus“，”display_name“：”微分“，”score“：0.80498487}，{”id“：”https://openalex.org/keywords/categorial-variable“，”display_name“：”类别变量“，”score“：0.610729}，{”id“：”https://openalex.org/keywords/cartesian-closed-category网站“，”display_name“：”笛卡尔闭合类别“，”score“：0.5947781}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.512762}]，”concepts“：[{”id“：”https://openalex.org/C2778003309，“wikidata”：https://www.wikidata.org/wiki/Q5450381“，”display_name“：”Finitary“，”level“：2，”score“：0.80567294}，{”id“：”https://openalex.org/C56802139，“wikidata”：https://www.wikidata.org/wiki/Q149999“，”display_name“：”微分“，”level“：2，”score“：0.80498487}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.61775404}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.610729}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.6038627}，{”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭合类别“，”level“：2，”score“：0.5947781}，{”id“：”https://openalex.org/C93226319，“wikidata”：https://www.wikidata.org/wiki/Q193137“，”display_name“：”差速器（机械装置）“，”level“：2，”score“：0.5824145}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.4919729}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4210568}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.38326344}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.27692825}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.106963485｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”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/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：6，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.013“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00527229“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-00527229“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.419.7155，“pdf_url”：http://www.pps.jussieu.fr/%7Eehrhard/pub/mfps10.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://repository.ubn.ru.nl/bitstream/handle/2066/83465/83465.pdf，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/83465/83465.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“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/2066/83465，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/83465/1/83465.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2010.08.013“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1498388520","https://openalex.org/W1504975584","https://openalex.org/W1509497033","https://openalex.org/W1581049135","https://openalex.org/W186525696","https://openalex.org/W192070947","https://openalex.org/W2004553747","https://openalex.org/W2007411063","https://openalex.org/W2088376608","https://openalex.org/W2093561140","https://openalex.org/W2168266035","https://openalex.org/W2911874855","https://openalex.org/W2913248536“]，”related_works“：[”https://openalex.org/W4387583941","https://openalex.org/W4297786044","https://openalex.org/W3126053535","https://openalex.org/W3107077661","https://openalex.org/W2803019536","https://openalex.org/W2385563186","https://openalex.org/W2315030491","https://openalex.org/W2004983195","https://openalex.org/W2001165666","https://openalex.org/W1993816593“]，”abstract_inverted_index“：{”We“：[0,15]，”introduce“：[1]，”the“：[2,25,31,43,64,72]，”concept“：[3]，”of“：[4,10,49,60,67,75]，”differential“：[5,12,18,32,61]，”\u03bb-category“：[6]，”as“：[7]，”an“：[8]，”extension“：[9]，”Blute-Cockett-Seely“：[11]，”Cartesian“：[13]，”categories。“：[14]，”证明“：[16]，”that“：[17]，”\u03bb-categories“：[19]，”can“：[20]，”be“：[21]，”使用“：[22]，”to“：[23]，”model“：[24]，”simple“：[26]，”typed“：[27]，”version“：[28]，”of：“：[29]，”（i）“：[30]，”\u03bb calculus“：[33]，”a“：[34，38，46]，”\u03bb calculus“：[35，51]，”extended“：[36]，”with“：[37，52]，”syntaic“：[39]，”derivative“：[40]，”operator；“：[41]，”（ii）“：[42]，”resource“：[44]，”微积分“：[45]，”非懒惰“：[47]，”公理化“：[48]，”Boudol's“：[50]，”乘法。“：[53]，”最后，“：[54]，”我们“：[55]，”提供“：[56]，”两个“：[57]，”具体“：[58]，”示例“：[59]，”\u03bb-categories“：[62]，”即“：[63]，”类别“：[65,73]，”MRel“：[66]，”集合“：[68]，”和“：[69,71,78]，”关系“：[70]，”MFin“：[74]，”有限性“：[76]，”空格“：[77]，“有限”：[79]，“关系”。“：[80]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W4297786044“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：2}，{“年度”：2023，”“cited_by_cunt”：1}，}“年”：2022，“年份”：2016，“引用_by_count”：1}，{“年份”:2013，“引用_ by_counts”：3}，}“年份“：2012，”引用_ by-count“：4}]，“updated_date”：“2024-09-17T04:36:15.987201”，“创建日期”：“2042-10-01”}