{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,3]]，“日期时间”：“2024-05-03T17:10:26Z”，“时间戳”：171475622649}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（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_21“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T16:52:16 Z“，”时间戳“：1178211136000}，”页面“：”295-309“，”源“：“Crossref”，“is-referenced-by-count”：23，“title”：[“直觉主义非交换线性逻辑的自然演绎”]，“prefix”：“10.1007”，《author》：[{“given”：“Jeff”，“family”：“Polakow”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Frank”，“日期部分”：[2002,5,27]]}，“reference”：[{“key”：“21_CR1”，“doi-asserted-by”：“publisher”，”首页“：“297”，“doi”：“10.1002\/malq.19900360405”，“volume”：”36“，“author”：“V.Michele Abrusci”，“year”：“1990”，“unstructured”：“V。米歇尔·阿布鲁西。非交换直觉线性命题逻辑。《蔡氏期刊》f\u00fcr Mathematicsche Logik und Grundlagen der Mathematik，36:297\u20133181990.“，“期刊标题”：“蔡氏期刊f\u00fcr Mathematicsche Logik und Grundlagen der Mathematik”}，｛“密钥”：“21_CR2”，“doi断言者”：“出版商”，“首页”：“3”，“doi”：“10.1016\/00304-3975（93）90181-R”，“卷”：“111”，“作者”：“S.Abramsky”，“年份”：“1993”，“非结构化“：”萨姆森·阿布拉姆斯基。线性逻辑的计算解释。理论计算机科学，111:3\u2013571993。”，“journal-title”：“理论计算机科学”}，{“key”：“21_CR3”，“unstructured”：“Andrew Barber.线性类型理论、语义和动作演算.爱丁堡大学计算机科学系博士论文，1997。”}、{“key”：”21_CR4“，”doi-asserted-by“：”crossref“，”unstructure“：”C。Brown和D.Gurr。关系和非交换线性逻辑。技术报告DAIMI PB-372，奥胡斯大学计算机科学系，1991年11月。“，“DOI”：“10.7146\/dpb.v20i372.6604”}，{“key”：“21_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Iliano Cervesato和Frank Pfenning。线性逻辑框架。Clarke，编辑，第十一届计算机科学逻辑年度研讨会论文集-LICS\u201996，第264\u2013275页，新泽西州新不伦瑞克，27\u201430，1996年7月。IEEE计算机学会出版社。这项工作也作为1834年德国达姆施塔特技术大学数学系的预印本出版。“，”DOI“：”10.1109\/LICS.1996.561339“}，{”issue“：”3“，”key“：”21_CR6“，”DOI-asserted-by“：”publisher“，”first page“：“183”，“DOI”：“10.1016\/0167-6423（94）00003-4”，“volume”：“22”，“author”：“O.Danvy”，“year”：“1994”，”unstructured“：”Olivier Danvy.Back to direct style.Science of Computer Programming，22（3）：183\u2013195，1994。“，”日志标题“：”计算机编程科学“}，{“key”：“21_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Olivier Danvy和Frank Pfenning。连续参数在CPS术语中的出现。技术报告CMU-CS-95-121，卡内基梅隆大学计算机科学系，1995年2月。”，“doi”：“10.21236”\/ADA292952series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：”164“，“doi”：“10.1007 \/3-540-62688-3_35”，“volume-title”：“第三届Lambda类型演算与应用国际会议论文集（TLCA\u201997）”，“作者”：“N.Ghani”，“年份”：“1997”，“非结构化”：“Neil Ghani。”。依赖型理论中的Eta展开\u2014《构造演算》。菲利普·德格罗特（Philippe de Groote）和J.罗杰·欣德利（J.Roger Hindley），编辑，《第三届国际键入兰姆达演算与应用会议论文集》（TLCA\u201997），第164\u2013180页，法国南希，1997年4月。Springer-Verlag LNCS 1210.“}，{”key“：”21_CR9“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1016\/0304-3975（87）90045-4“，”volume“：1“，”键“：”21_CR10“，”doi-asserted-by“：”crossref“，”first page“：”143“，“doi”：“10.1145\/138027.138060”，“volume”：“40”，“author”：“R.Harper”，“year”：“1993”，“unstructured”：“Robert Harper，Furio Honsell，and Gordon Plotkin。定义逻辑的框架。计算机协会杂志，40（1）：143\u20131841993年1月。霍达斯和戴尔·米勒。直觉线性逻辑片段中的逻辑编程。信息与计算，110（2）：327\u20133651994。第六届计算机科学逻辑年度研讨会论文集的扩展摘要，阿姆斯特丹，2014年7月15日，1991年。”，“journal-title”：“信息与计算”}，{“key”：“21_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Joshua S。霍达斯。直觉线性逻辑中的逻辑程序设计：理论、设计和实现。宾夕法尼亚大学计算机和信息科学系博士论文，1994年。“，“DOI”：“10.1006”，{“key”：“21_CR13”，“unstructured”：“Natasha Kurtonina和Michael Moortgat.Structural control.In P.Blackburn和M.de Rijke，编辑，Specifying Syntagic Structures。CSLI Publications，1996年。”}，{doi-asserted-by“：”publisher“，”first page“：”363“，”doi“：”10.2307\/2310058“，”volume“：“65”，”author“：”J.Lambek“，”year“：”1958“，“unstructured”：”Joachim Lambek。句子结构的数学。美国数学月刊，65:363\u20133861958。“，”journal-title“：”American Mathematical Monthly“}，{“key”：“21_CR15”，“doi-asserted-by”：“publisher”，“first-page”：“125”，“doi”：“10.1016\/0168-0072（91）90068-W”，“volument”：“51”，“author”：“D.Miller”，“year”：“1991”，“unstructured”：“戴尔·米勒（Dale Miller）、戈帕兰·纳达图尔（Gopalan Nadathur）、弗兰克·普芬宁（Frank Pfenning）和安德烈·塞德洛夫（Andre Scedrov）。统一证明是逻辑编程的基础。《纯粹逻辑与应用逻辑年鉴》，51:125\u20131571991年雷莫·帕雷斯基（Remo Pareschi）。类型驱动的自然语言分析。1989年7月，苏格兰爱丁堡爱丁堡大学博士论文。宾夕法尼亚大学计算机和信息科学系，技术报告MS-CIS-89-45。“}，{”key“：”21_CR17“，”unstructured“：”Jeff Polakow和Frank Pfenning。有序线性逻辑编程。技术报告CMU-CS-98-183，卡内基梅隆大学计算机科学系，1998年12月。“}”，{“key”：“21_CR18”，“doi-asserted-by”：“crossref”，“unstructure”：“Jeff Polakow和Frank Pfenning。关于直觉非交换线性逻辑的自然演绎和序演算。安德烈·塞德洛夫（Andre Scedrov）和阿希姆·荣格（Achim Jung），编辑，《第15届编程语义数学基础会议论文集》，路易斯安那州新奥尔良，1999年4月。出现。“，”DOI“：”10.1016/S1571-0661（04）80088-4“｝，｛”key“：”21_CR19“，”volume title“：”非交换逻辑和并发约束编程“，”作者“：”P.Ruet“，”年份“：”1997“，”非结构化“：”Paul Ruet。非交换逻辑和并发约束编程。博士论文，巴黎Denis Diderot大学，1997年7月。“｝]，”容器标题“：[”计算机科学课堂讲稿”，“Lambda Calculi与应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2_21”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2019,4,27]]，“日期时间”：“2019-04-27T17:22:15Z“，”timestamp“：1556385735000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-48959-2_21”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[1999]}，《ISBN》：[“9783540657637”，“9783549597”]，“references-count”：19，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-48959-2_21”，“关系”：{}，“ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”subject“：【】，”published“：{”date-parts“：【1999】】}}