{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:00:42Z”，“时间戳”：1725483642118}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 657637“}，{”类型“：”电子“，“value”：“9783540489597”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_5“，”type“：”book-chapter“，”created“：{”date-ports“：[2007,5,3]]，”date-time“：”2007-05-03T12:52:16Z“，”时间戳“：1178196736000}，”页面“：”40-53“，”源“：”交叉引用“，“is-referenced-by-count”：1，“title”：[“Quantitative Semantics Revisited”]，“prefix”：“10.1007”，“author”：[{“given”：“Nuno”，“family”：“Barrero”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“Thomas”，“家族”：“Ehrhard”，“序列”：“additional”，“从属关系”：[]}，“member”：“297”，“published on”：{“date-parts”：[[2002,5,27]]}，“引用”：[{“键”：“5_CR1”，“series-title”：“Lect Notes Compute Sci”，“volume-title”：“第五届自动化、语言和编程国际学术讨论会论文集”，“author”：“G.Berry”，“year”：“1978”，“unstructured”：“G\u00e9rard Berry。类型lambda-calculi的稳定模型。第五届国际自动化、语言和编程学术研讨会论文集，计算机科学讲义第62号。Springer-Verlag，1978年。”}，{“key”：“5_CR2”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“publisher”，“doi”：“10.1007”，BFb0014046“volume-title”：“类型化Lambda微积分与应用程序的论文集”，“作者”：“G.Bierman”，“年份”：“1995年”，“非结构化”：“Gavin Bierman.直觉主义线性逻辑的范畴模型是什么？在《类型化Lambeda微积分和应用程序论文集》中，计算机科学讲义中的第902号。Springer-Verlag，1995年。”}，{“key”：“5_CR3”，“doi-asserted-by”：“publisher”，“first page”：“159”，”DOI“：”10.1016\/0304-3975（86）90044-7“，”volume“：”45“，”author“：”J.-Y.Girard“，”year“：”1986“，”unstructured“：”Jean-Yves Girard。可变类型的系统F，十五年后。理论计算机科学，45:159\u20131921986。“，”journal-title“：”Theory Computer Science“}，{”key“：“5_CR4”，”DOI-asserted-by“”：“publisher”，“first-page”：“1”，“DOI”：“10.1016\/0304-3975（87）90045-4”，“volume”：“50”，“author”：“J.-Y.Girard”，“year”：“1987”，“unstructured”：“Jean-Yves Girard.Linear logic.Theoretical Computer Science，50:1\u2013102，1987。”，“journal-title”：“Theoretical-Computer Science”}，{“key”：：“10.1016\/0168-0072（88）90025-5”，“volume”：“37”，“author”：“J.-Y.Girard”，“year”：“1988”，“unstructured”：“Jean-Yves Girard.Normal fuctors，power series and the \u03bb-calculus.Annals of Pure and Applied Logic，37:129\u20131771988。”，“journal-title”：“Pure and Applicationd Logic Annals”}，{“key”：：“Jean-Yves Girard。线性逻辑：其语法和语义。在Jean-Yves Giard、Yves Lafont和Laurent Regnier编辑的《线性逻辑的进展》，伦敦数学学会讲座笔记系列第222卷。剑桥大学出版社，1995年。”，“DOI”：“10.1017\/CBO9780511629150.002”}，{“key”：“5_CR7”，“unstructured”：“Jean-Yves Girard。论指称完备性。发表于《理论计算机科学》，1998年。”}，{“key”：“5_CR8”，“unstructured”：“Jean-Yves-Girard，Yves Lafont，and Paul Taylor。证明和类型。剑桥大学出版社，1989年。”{]，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi and Applications”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2_5”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2019,2,16]]，“日期时间”：“2019-02-16T06:49:01Z”，“时间戳”：1550299741000}，“分数”：1，“资源”：primary“：{”URL“：“http://\/link.springer.com/10.1007\/3-540-48959-2_5”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[1999]]}，”ISBN“：[”9783540657637“，”978354489597“]，“引用计数”：8，“URL”：“http://\\dx.doi.org\/10.10007\/3540-48959-2-5”，“关系”：{}，：[“0302-9743”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}]，“subject”：[]，“published”：{“日期部分”：[1999]}}}