{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T18:58:50Z”，“时间戳”：1648925930953}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540732273”，“类型”：“打印”}，{“值”：“9783540732280”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[2007]]}，“DOI”：“10.1007\/978-3-540-73228-0_2”，“type”：“book-chapter”，“created”：{“date-parts”：[[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z”，“timestamp”：1184601431000}，”page“：”2-7“，”source“：“Crossref”，“is-referenced-by-count”：1，“title”：[“From Proof-Nets to Linear Logic type Systems for Polynominal time Computing”]，“前缀：“10.1007”，“作者”：[{“given”：“Patrick”，“family”：“Baillot”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：”2_CR1“，“first page”：：“266”，“volume-title”：“LICS\u201904的会议记录”，“author”：“P.Bailot”，“year”：“2004”，“unstructured”：“Baillot，P.，Terui，K.：lambda-calculus中多项式时间计算的光类型。摘自：LICS\u201904的论文集，第266\u2013275页。IEEE Computer Society Press，Los Alamitos（2004）“}，{”key“：”2_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“150”，”doi“：”10.1007\/11874683_10“，”volume-title“：“Computer Science Logic”，”author“：”V.Atassi“，”year“：”2006“，”unstructured“：”Atassi，V.，Baillot，P.，Terui，K.：通过双光仿射逻辑验证系统F项的Ptime可约性。收录于：\u00c9sik，Z.（ed.）CSL 2006。LNCS，第u00a04207卷，第150\u2013166页。Springer，Heidelberg（2006）“｝，｛“key”：“2_CR3”，“volume title”：“LICS\u201907论文集”，“author”：“P.Baillot”，“year”：“2007”，“nonstructured”：“Baillot，P.，Coppola，P.，Dal Lago，U.：光逻辑和最优约简：完整性和复杂性。In：《LICS\u201907论文集》，IEEE计算机学会出版社，洛斯阿拉米托斯（将于2007年出版）”｝，｛“key”：“2_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”Leivant，D.：预测递归和计算复杂性I：单词递归和多时间。摘自：可行性数学II，Birkhauser，pp.320\u2013343（1994）“，”DOI“：”10.1007\/978-1-4612-2566-9_11“}，{“key”：“2_CR5”，“DOI-asserted-by”：“publisher”，“first page”：”97“，“DOI”：“10.1007\/BF01201998”，“volume”：2“，”author“：”S.Bellantoni“，”year“：”1992“，”unstructured“：”Bellantoni，S.，Cook，S.：多时间函数的新递归理论表征。计算复杂性\u00a02，97\u2013110（1992）“，”journal-title“：”计算复杂性“}，{”issue“：”1-2“，”key“：”2_CR6“，”doi-asserted-by“：”publisher“，”首页“：”151“，“doi”：“10.1016\/S0304-3975（98）00357-0”，“volume”：“228”，“author”：“N.Jones”，“year”：“1999”，“unstructured”：“Jones，N.：以编程语言为特征的LOGSPACE和PTIME。理论计算机科学\u00a0228（1-2），151\u2013174Leivant，D.，Marion，J.Y.：多重时间的Lambda-calculus特征。Fundamenta Informaticae\u00a019，167\u2013184（1993）“，”journal-title“：”Fundamental Informaticae“}，{“key”：“2_CR8”，“doi-asserted-by”：“publisher”，“first page”：”1“，”doi“：”10.1016\/0304-3975（92）90386-T“，”volume“：”97“，”author“：”J.Y.Girard“，”year“：”1992“，”unstructured“：”Girard，J.Y.，Scedrov，A.，Scott，P.：有界线性逻辑：多项式时间可计算性的模块化方法。理论计算机科学\u00a097，1\u201366（1992）“，“期刊标题”：“理论计算机科学”}，{“问题”：“1-2”，“关键”：“2_CR9”，“doi-asserted-by”：“出版商”，“首页”：“163”，“doi”：“10.1016\/j.tcs.2003.10.018”，“卷”：“318”，“作者”：“Y.Lafont”，“年份”：“2004”，“非结构化”：“Lafont，Y.：软线性逻辑和多项式时间。理论计算机科学\u00a0318（1-2），163\u2013180（2004）“，”杂志标题“：”理论计算机科学“}，{“key”：“2_CR10”，“doi-asserted-by”：“publisher”，“first page”：”175“，”doi“：”10.1006\/inco.1998.2700“，”volume“：”143“，“author”：“J.Y.Girard”，“year”：“1998”，“unstructured”：“Girard，J.Y.：轻型线性逻辑。信息与计算\u00a0143，175\u2013204（1998）“，”journal-title“：”Information and Computation“}，{“issue”：“1”，“key”：“2_CR11”，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1145\/504077.504081”，”volume“：”3“，”author“：”A.Asperti“，”year“：”2002“，”unstructured“：”Asperti，A.，Roversi，L.：直觉主义光仿射逻辑。ACM计算逻辑汇刊\u00a03（1），1\u201339（2002）”，“期刊标题”：“ACM计算逻辑汇刊”}，｛“问题”：“3-4”，“密钥”：“2_CR12”，“doi断言者”：“出版商”，“第一页”：“253”，“doi”：“10.1007\\s0153-007-0042-6”，“卷”：“46”，“作者”：“K.Terui”，“年份”：“2007”，“非结构化”：“Terui，K.：轻仿射λ演算和多项式时间强归一化。数学逻辑档案馆\u00a046（3-4），253\u2013280（2007）“，”日记标题“：”数学逻辑档案“}，{“问题”：“1”，“关键字”：“2_CR13”，“doi-asserted-by”：“publisher”，“首页”：“57”，“doi”：“10.1016\/S0890-5401（03）00009-9”，《卷》：“183”，”作者“M.Hofmann”，“年份”：“2003”，“非结构化”：“Hofmann，M.：线性类型和非增倍多项式时间计算。信息与计算\u00a0183（1），57\u201385（2003）”，“期刊标题”：“信息与计算”}，｛“问题”：“6”，“密钥”：“2_CR14”，“doi由”断言：“出版商”，“首页”：“947”，“doi”：“10.1017\/S09960129506005688”，“卷”：“16”，“作者”：“D.Mazza”，“年份”：“2006”，“非结构化”：“Mazza，D.：线性逻辑和多项式时间。计算机科学中的数学结构\u00a016（6），947\u2013988（2006）“，“journal-title”：“计算机科学的数学结构”}，{“key”：“2_CR15”，“first-page”：“16”，“volume-title“：“POPL\u201990论文集”，“author”：“J.Lamping”，“year”：“1990”，“unstructured”：“Lamping，J.：最佳lambda演算约简算法。摘自：《POPL\u201990学报》，第16\u201330页。ACM Press，New York（1990）“}，{”key“：”2_CR16“，”first page“：“15”，”volume-title“：”Proceedings of POPL\u201992“，”author“：”G.Gonthier“，”year“：”1992“，”unstructured“：”Gonthie，G.，Abadi，M.，L\u00e9vy，J.J.J.J.：最佳lambda还原的几何。In:Proceeding of POPL \u2011992，pp.15\u201326。ACM Press，New York（1992）“}，{”key“：”2_CR17“，”volume-title“：”Proceedings of LICS\u201998“，”author“：”A.Asperti“，”year“：”1998“，”unstructured“：”Asperti，A.：“Light affine logic.In:Proceeding of LICS\ u201998.，IEEE Computer Society Press，Los Alamitos（1998）“}.，{“key”：“2_CR18”，“first page”：“”U.Dal Lago”，“年份”：“2006年”，“非结构化”：“Dal Lako，U.：上下文语义、线性逻辑和计算复杂性。收录于：LICS\u201906会议记录，第169\u2013178页。IEEE Computer Society Press，Los Alamitos（2006）“}，{”issue“：“2”，”key“：“2_CR19”，”doi-asserted-by“：”publisher“，”first page“：”219“，”doi“：”10.1145\/11313.1131315“，”volume“：：”7“，”author“：”P.Coppola“，”year“：”2006“，”unstructured“：”Coppola，P.，Martini，S.：优化最优约简：初等仿射逻辑的类型推理算法。ACM事务处理。计算。Log\u00a07（2），219\u2013260（2006）“，”日记标题“：”ACM事务。计算。Log“}，{”issue“：”1-2“，”key“：”2_CR20“，”first page“：“87”，“volume”：“65”，“author”：“P.Coppola”，“year”：“2005”，“unstructured”：“Coppola-，P.，Rocca，S R.D.：初等仿射逻辑中lambda演算的主类型。Fundam.Inform.\u00a065（1-2），87\u2013112（2005）”，“journal-title”：“Fundam.Inform.”}，}“key”:“2_CR21”，“series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：”131“，“doi”：“10.1007\/11417170_11”，“volume-title”：“类型化Lambda Calculi和应用程序”，“author”：“P.Coppola”，“year”：“2005”，“unstructured”：“科波拉，P.，Dal Lago，U.，della Rocca，S R.：初等仿射逻辑和调用值Lambda Calculi。收录：Urzyczyn，P.（编辑）TLCA 2005。LNCS，第u00a03461卷，第131\u2013145页。Springer，Heidelberg（2005）“}”，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi与应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_2”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2021,8,19]]，“date-time”：“2021-08-19T10:53:29Z”，“timestamp”：1629370409000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-73228-0_2”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2007]]}”，“ISBN”：[“9783540732273”，“9783540732280”]，“references-count”：21，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-73228-0_2“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2007】】}}}}