{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T09:33:10Z”，“时间戳”：1649151190465}，“出版商位置”：“柏林，海德堡”，“参考计数”：11，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540657637”，“类型”：“打印”}，{“值”：“9783540489597”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_4“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T16:52:16Z“，”时间戳“：1178211136000}，”页面“：”25-33“，”源“：“Crossref”，“is-referenced-by-count”：3，“title”：[“Elementary Complexity and Geometry of Interaction”]，“prefix”：“10.1007”，”author“：[{“given”：“Patrick”，“family”：“Baillot”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“Marco”，“家族”：“Pedicini”，“serquence”:“additional”，“atriation”：“[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2002,5,27]]}，“reference”：[{“key”：“4_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“P.Baillot和M.Pedicini.交互的基本复杂性和几何结构。预出版，Quaderni dell\u2019Istituto per le Applicazioni del Calcolo\u201cM.Picone\u201d di Roma，IAC-CNR n.21-998，1999年1月。”，“doi”：“10.1007\/3-540-48959-2_4”}，{“key”：”4_CR2“，“非结构化”：“V.Danos.La Logique Lin\u00e9aire applique\u00e 9e\u00e0 l\u2019\u00e_9e9tude de divers processus de normalization（principalement du\u03bb-calcul）.博士论文，巴黎第七大学，1990年6月。”}，{“key”：“4_CR3”，“series-title”：“伦敦数学学会课堂笔记系列”，“doi-asserted-by”：“crossref”，“首页”：“307”，“doi”：“10.1017\/CBO9780511629150.016”，“volume-title”：“线性逻辑的进展”，“author”：“V.Danos”，“year”：“1995”，“unstructured”：“V-Danos和L.Regnier。证明网和Hilbert空间。J.-Y.Girard、Y.Lafont和L.Regnier编辑，《线性逻辑的发展》，第307\u2013328页。剑桥大学出版社，1995年。伦敦数学学会222系列讲稿，1993年线性逻辑研讨会论文集，康奈尔大学，伊萨卡。}，{“key”：“4_CR4”，“unstructured”：“J.-Y.Girard。交互几何I：系统F的解释。In Ferro和al，编辑，《A.S.L.会议记录》，帕多瓦，1988年。霍兰德北部。“}，{”key“：”4_CR5“，”series-title“：”Lect Notes Compute Sci“，”first page“：“76”，”volume-title“：“COLOG\u201988会议录”，”author“：”J.-Y.Girard“，”year“：”1988“，”unstructured“：”J-Y。吉拉德。交互几何II：无死锁算法。Martin-L\u00f6f和Mints，编辑，《COLOG\u201988学报》，计算机科学讲稿第417卷，第76\u201393页。Springer Verlag，1988。“}，{”key“：”4_CR6“，”series-title“：”伦敦数学学会讲座笔记系列“，”doi-asserted-by“：”crossref“，”first page“：“329”，”doi“：”10.1017\/CBO9780511629150.017“，”volume-title“：“线性逻辑的进步”，“author”：“J.-Y.Girard”，“year”：“1995”，“unstructured”：“J-Y。吉拉德。相互作用几何3：一般情况。J.-Y.Girard、Y.Lafont和L.Regnier主编，《线性逻辑进展》，第329页\u2013389页。剑桥大学出版社，1995年。伦敦数学学会222系列讲稿，1993年线性逻辑研讨会论文集，康奈尔大学，伊萨卡。“}，{”key“：”4_CR7“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“145”，“doi”：“10.1007 \/3-540-60178-3_83”，“volume-title”：“逻辑与计算复杂性国际研讨会论文集（LCC\u201994）”，“author”：“J.-Y.Girard”，“year”：“1995”，“unstructured”：“J-Y.Giard.Light linear Logistic。In D。Leivant，编辑，《逻辑和计算复杂性国际研讨会论文集》（LCC\u201994），LNCS第960卷，第145\u2013176页，德国柏林，1995年10月。施普林格。25，39“}，{“key”：“4_CR8”，“series-title”：“Electron.Notes.Theor.Comput.Sci.”，“volume-title”：《编程语义的数学基础》（匹兹堡，宾夕法尼亚州，1997），“author”：“M.I.Kanovich”，“year”：“1997”，“unstructured”：“M.I.Kanovish，M.Okada，and A.Scedrov.轻型线性逻辑的阶段语义（扩展抽象）《编程语义的数学基础》（宾夕法尼亚州匹兹堡，1997），Electron第6卷。注释Theor。计算。科学。Elsevier，Amsterdam，1997年。“}，{”key“：”4_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Malacaria和L.Regnier。关于算子代数中\u03bb-calculus的解释的一些结果。《第六届计算机科学逻辑年会论文集》，第63\u201372页。IEEE Computer Society Press，1991.“，”DOI“：”10.1109\/LICS.1991.151631“}，{“key”：“4_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Pedicini.关于初等线性逻辑的评论.关于\u201cLinear logic 96的特刊，东京会议\u201d，《理论计算机科学电子笔记》第3卷，荷兰阿姆斯特丹，1996年。爱思唯尔。“，”DOI“：”10.1016/S1571-0661（05）80419-0“｝，｛”key“：”4_CR11“，”非结构化“：”L.Regnier。Lambda Calculation et r\ u00e9saux。博士论文，巴黎第七大学，1992.“｝]，”容器标题“：[”计算机科学讲义“，”打字Lambda Calculation and Applications“]，”原标题“：[]，”链接“：[｛”URL“：”http:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2_4“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,4,27]]，”date-time“：“2019-04-27T17:22:11Z”，”timestamport“：1556385731000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-48959-2_4“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1999]]}，“ISBN”：[“9783540657637”，“978354489597”]，”引用计数“：11，”URL“：”http://\/dx.doi.org\/10.10007\/3540-48959-2-4“，”关系“：{}，2-9743“]，”ISSN-type“：[{”value“：”0302-9743“，”type“:”print“}]，”subject“：[]，”published“：{”日期部分“：[[1999]]}}