{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T21:38:13Z”，“时间戳”：1725745093198}，“出版商位置”：“美国纽约州纽约市”，“参考-计数”：17，“出版者”：“ACM”，“资助者”：[{“名称”：“法语-中文项目”，“奖项”：[”ANR-11-IS02-0002“]}]，”内容域“用法：{“domain”：[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{”date-parts“：[[2014,7,14]]}，”DOI“：”10.1145\/2603088.2603125“，”type“：”proceedings-article“，”created“：{‘date-part’：[2014,7,28]]，“date-time”：“2014-07-28T13:21:45Z”，“timestamp”：1406553705000}，页面“：”1-10“，”更新策略“：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“MLL证明网络的新正确性标准”]，“prefix”：“10.1145”，”author“：[{”given“：”Thomas“，”family“：”Ehrhard“，”sequence“：”first“，”affiliation“：[}”name“Univ Paris Didero，Sorbonne Paris Cit\u00e9，Paris，France”}]]，“成员”：“320”，“published-online”：{“date-parts”：[[2014,7,14]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0304-3975（93）90181-R“}，{“key”：”e_1_ 3_2_1_2 _1“，”series-title“：”伦敦数学学会讲座笔记系列“，”首页“：”249“，”卷时间“：”J.-Y“，”作者“Bellin G.“，”年份“：”1995“，”非结构化“：”G。贝林和J.van de Wiele。MLL中校对的子网。在J.-Y。Girard，Y.Lafont和L.Regnier，编辑，《线性逻辑的进展》，伦敦数学学会演讲笔记系列第222卷，第249-270页。剑桥大学出版社，1995年。G.Bellin和J.van de Wiele。MLL中校对的子网。在J.-Y.Girard、Y.Lafont和L.Regnier编辑的《线性逻辑的进展》中，伦敦数学学会演讲笔记系列第222卷，第249-270页。剑桥大学出版社，1995年。“}，{”key“：”e_1_3_2_1_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/302970”}，“key”：“e_1_ 3_2_1_4_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/S0168-0072（00）00056-7“}”，{Une Application de la Logique Lin\u00e9aire\u00e 0 l’\u00c9tude des Processus de Normalisation（原则du\u03bb-calcul）。Th\u00e8se de doctorat”，“author”：“Danos V.”，“year”：“1990”，“unstructured”：“V.Danos。Une Application de la Logique Lin\u00e9aire\u00e 0 l’\u00c9tude des Processus de Normalisation（原则du\u03bb-calcul）。巴黎大学博士，1990年7月。V.达诺斯。Une Application de la Logique Lin\u00e9aire\u00e 0 l’\u00c9tude des Processus de Normalisation（原则du\u03bb-calcul）。Th\u00e8se de doctorat，University\u00e 9 Paris 7，1990.“，“journal-title”：“University\ u00e9 Paris”}，{“key”：“e_1_3_2_1_6_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/BF01622878“}，”key“：”e_1_ 3_2_1 _7_1“，”doi-assert-by“：”publisher“，“e_1_3_2_1_8_1”，“非结构化”：“M.Fern\u00e1ndez和I.Mackie。\n交互网络微积分。在G.Nadathur编辑PPDP第1702卷《计算机科学讲义》第170--187页。\n Springer-Verlag 1999\n。国际标准图书编号（ISBN）3-540-66540-4。M.Fern\u00e1ndez和I.Mackie。交互网络微积分。在G.Nadathur编辑PPDP第1702卷《计算机科学讲义》第170-187页。Springer-Verlag 1999年。ISBN 3-540-66540-4.“}，{“key”：“e_1_3_2_1_9_1”，“doi断言者”：“出版商”，“doi”：“10.1016\/00304-3975（87）90045-4”}，{“key”：“e_1_3_2_1_10_1”，“系列标题”：“剑桥理论计算机科学导论”，“卷标题”：“校对与类型”，“作者”：“Girard J.-Y”，“年份”：“1989”，“非结构化”：“J.-Y Girard，Y.Lafont，and P。泰勒。校对与类型，《剑桥理论计算机科学丛书》第7卷。剑桥大学出版社，1989年。J.-Y.Girard、Y.Lafont和P.Taylor。校对与类型，《剑桥理论计算机科学丛书》第7卷。剑桥大学出版社，1989.“}，{“key”：“e_1_3_2_1_11_1”，“doi断言者”：“publisher”，“doi”：“10.5555\/7880217.788963”}，{“key”：“e_1_3_2_12_1”，“doi断言者”：“publisher”，“doi”：“10.4007\/年鉴.2006.164.1065”}，{“key”：“e_1_3_2_1_13_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/9607.96718”}，{“key”：“e_1_3_2_1_14_1”，“doi断言者”：“publisher“，”DOI“：”10.1016\/j.entcs.2008.10.027“}，{“key”：“e_1_3_2_15_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1017\/S096012959700234X”}，}“volume-title”：“INRIA”，“year”：“1999”，“author”：“Retor\u00e9 C.”，“key“：”“e_3_2_2_16_1”、“unstructured”：“C.”。回复\u00e9。漂亮的证明网：R&B图、完美匹配和系列平行图。RR-3652，INRIA，1999年。网址：http://\/hal.inria.fr\/inria-00073020。C.回复\u00e9。漂亮的证明网：R&B图、完美匹配和系列平行图。RR-3652，INRIA，1999年。URL http:\/\/hal.inria.fr\/inria-00073020.“｝，｛”key“：”e_1_3_2_1_17_1“，”doi asserted by“：”publisher“，”doi“：”10.1016\/S0304-3975（01）00175-X“｝]，”event“：”name“：”CSL-LICS'14：第二十三届东非共同体计算机科学逻辑年会联席会议“，”发起人“：[”SIGLOG ACM逻辑与计算特别兴趣小组“，”EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE计算机学会”，“SIGACT ACM算法和计算理论特别兴趣小组”，“地点”：“奥地利维也纳”，“缩写词”：“CSL-LICS’14”}，“集装箱标签”：[“第二十届EACSL计算机科学逻辑年会（CSL）联席会议记录和第二十届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2603088.2603125“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,8]]，”date-time“2023-01-08T19:07:16Z“，”timestamp“：1673204836000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603125”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,7,14]]}，《references-count》：17，“alternative-id”：[“10.1145\/26038.2603152”，“10.1145”\/2603088“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2603088.2603125“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2014,7,14]]}，“断言”：[{”值“：”2014-07-14“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}}}