{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T13:29:45Z”，“时间戳”：1725456585250}，“出版商位置”：“柏林，海德堡”，“参考计数”：32，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540633884“}，{”类型“：“电子”，“值”：“9783540695301”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版的印刷品”：｛“日期部分”：[[1997]]｝，“DOI”：“10.1007\/bfb014569”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2005,11,23]]，“日期时间”：“2005-11-23T09:17:33Z”，“时间戳”：1132737453000｝，“页面”：“583-603”，“来源”：“Crossref”，“is-referenced-by-count”：3，“title”：[“高阶动作计算的类型和模型”]，“prefix”：“10.1007”，”author“：[{“给定”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Masahito”部分”：[[2005,6,9]]}，“reference”：[{“key”：“25_CR1”，“doi-asserted-by”：“crossref”、“unstructured”：“P.Aczel，弗雷格结构与命题、真理和集合的概念。在克莱恩研讨会上，北荷兰德，1980年。”，“doi”：“10.1016\/S0049-237X（08）71252-7”}，{“key”：“，”卷“：”146“，“author”：“Z.M.Ariola”，“year”：“1995”，“unstructured”：“Z·M.Ario la and Arvind，带共享的一阶函数语言的属性。理论计算机科学146，第69页\u2013108，1995。”，“journal title”：“Theoryal Computer Science”}，{“key”：“25_CR3”，“非结构化”：“a.Barber，P.Gardner，M.Hasegawa and G。Plotkin、Action calculi、计算\u03bb-calculus和线性逻辑。草案，1996年。“}，{“key”：“25_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“A.Barber，P.Gardner，M.Hasegawa and G.Plotkin，From action calculi to linear logics.Submitted，1997年。”，“doi”：“10.1007\/BFb0028008”}，“key“：”25_CR5“，”非结构化“A。巴伯，对偶直觉线性逻辑。技术报告ECS-LFCS-96-347，LFCS，爱丁堡大学，1996年。“}，{“key”：“25_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“N.Benton和P.Wadler，线性逻辑，单子和lambda演算。第11届计算机科学中的逻辑研讨会（LICS'96），1996年”，“doi”：“10.1109”\/LICS.1996.561458”}，“key“：”25_CR7“，”doi-assert-by“：”crossref”，“非结构化”：“N.Benton，混合线性非线性逻辑：证明、术语和模型。程序中。计算机科学逻辑1994（CSL’94），Springer LNCS 933，第121\u2013135页，1995年。“，”DOI“：”10.1007 \/BFb0022251“}，{“key”：“25_CR8”，“unstructured”：“A.Compagnoni，O.Jensen，J.Leifer和P.Sewell，带可变存储的函数编程语言的动作演算语义。Draft，1997。”}，“key“：”25_CR9“，”DOI-asserted-by“：”crossref“，”非结构化“：”B.J.戴，关于函子的闭范畴。中西部类别研讨会报告IV，Springer LNM 137，第1\u201338页，1970年。“，”DOI“：”10.1007\/BFb0060438“}，{“key”：“25_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.P.Fiore，E.Moggi和D.Sangiorgi，一个完整抽象的\u03c0-演算模型。第11届计算机科学逻辑研讨会（LICS’96），1996年。”，“DOI”：“10.1109\/LICS.1996.561302“}，{“key”：“25_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Gardner，动作计算的一个无名帐户。在Proc.11th Int.Conf.Mathematical Foundations of Programming Semantics（MFPS'95），Electronic Notes In Computer Science 1，Elsevier，1995年。”，“doi”：“10.1016\/S1571-0661（04）80012-4”}，}，“key“：”25_CR12“，”非结构化“：”P.加德纳，闭合动作计算。1996年，发表在《理论计算机科学》杂志上。“}，{”key“：”25_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Hasegawa，循环共享递归：循环lambda计算的跟踪单体类别和模型。在Proc.Third Int.Conf.Typed lambda calculi and Applications（TLCA’97）中，Springer LNCS 1210，第196\u20132131997页。“，”doi“：”10.1007\/3-540-62688-3_37“}”，{“key”：“25_CR14”，“非结构化“：”M.长谷川，共享图模型（Let和Letrec的分类语义）。博士论文，LFCS，爱丁堡大学，1997年。“}，{“key”：“25_CR15”，“doi asserted by”：“crossref”，“首页”：“95”，“doi”：“10.1016/0304-3975（85）90062-3”，“volume”：“41”，“author”：“S.Hayashi”，“year”：“1985”，“nonstructured”：“S。Hayashi，半函子的伴随：无张力lambda-calculus中的范畴结构。理论计算机科学41，第95\u2013104页，1985年。”，“期刊标题”：“理论计算机科学”}，{“关键字”：“25_CR16”，“doi-asserted-by”：“交叉引用”，“首页”：“75”，“doi”：“10.1016\/0022-4049（86）90005-8”，“卷”：“43”，“作者”：“G.B.Im”，“年份”：“1986”，“非结构化”：“G.B.Im和G.M。Kelly，卷积单体结构的一个普遍性质。《纯粹与应用代数杂志》43，第75\u201388页，1986年。“，“Journal-title”：“纯粹与应用代数学杂志”}，{“key”：“25_CR17”，“unstructured”：“O.Jensen，《在牛顿研究所游戏、过程与逻辑研讨会上的演讲》，剑桥，1995年11月。”}10.1017\/S0305004100074338“，“卷”：“119”，“作者”：“A.Joyal”，“年份”：“1996”，“非结构化”：“A.Joyal，R.Street and D.Verity，Traced monoid categories。《剑桥哲学学会数学会议录》119（3），第447\u2013468页，1996年。“，”杂志标题：“剑桥哲学学会的数学会议录”}，{“key”：“25_CR19”，“unstructured”：“A.Kock，强函子和单体单子。各种出版物系列11，奥胡斯大学，1970年。”}doi-asserted-by“：”crossref“，”unstructured“：”S.Mac Lane，工作数学家的类别。数学5研究生教材，Springer-Verlag，1971年。“，”DOI“：”10.1007\/9781-4612-9839-7“}，{“key”：“25_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Maraist，M.Odersky，D.Turner和P.Wadler，Call-by-name，Call-by-value，Call-by need，and the linear lambda calculations.in Proc.11th Int.Conf。编程语义的数学基础（MFPS’95），《计算机科学电子笔记》1，Elsevier，1995年。“，”DOI“：”10.1016\/S1571-0661（04）00022-2“}，{“key”：“25_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Mifsud，R.Milner和A.J.Power，《控制结构》。第十届计算机科学逻辑研讨会论文集（LICS’95），1995.“，”DOI“：”10.1109\/LICS.1995.523256“}，{“key”：“25_CR23”，“unstructured”：“A.Mifsud，控制结构。爱丁堡大学LFCS博士论文，1996。”}，“key“：”25_CR24“，”DOI-asserted-by“：”crossref“，”unstructure“：”R.Milner，Higher-order action calculi.In Proc.Computer Science Logic 1992（CSL’92），Springer LNCS 832，第238\u2013260页，1994年。“，”DOI“：”10.1007\/BFb0049335“}，{“key”：“25_CR25”，“unstructured”：“R.Milner，Action calculi V：自反分子形式（附O.Jensen附录）。第三稿，1994年7月。“}“卷”：“33”，“作者：“R.Milner”，“年份”：“1996年”，“非结构化”：“R.Milner，交互微积分。《信息学报》33（8），第707\u20137371996页。“，”杂志标题：“信息学报”}，{“key”：“25_CR27”，“unstructured”：“E.Moggi，计算lambda-calculus和monads。技术报告ECS-LFCS-88-66，LFCS，爱丁堡大学，1988年。”}、{“key”：”25_CR28“，”doi-asserted-by“：”crossref“，”first page“：”55“，”doi“：”10.1016\/0890-5401（91）900524 4“，”卷：“93”，“作者”：“E.Moggi”，“年份”：“1991”，“非结构化”：“E.Moggi，计算和单数概念。信息与计算93，第55\u201392页，1991年。”，“日志标题”：“信息与计算”}，{“关键字”：“25_CR29”，“非结构化”：“D.巴甫洛维奇，名称的分类逻辑和行动计算中的抽象。1996。出现在计算机科学的数学结构中。}，{“key”：“25_CR30”，“doi-asserted-by”：“crossref”，“unstructured”：“A.J.Power和E.P.Robinson，Premonoid范畴和计算概念，1996。出现在计算机科学的数学结构中。“，”DOI“：”10.1017\/S0960129597002375“}，{“key”：“25_CR31”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.J.Power，基本控制结构。In Proc.6th Int.Conf.Concurrency Theory（CONCUR'96），Springer LNCS 1119，第115\u2013130页，1996。”，“DOI”：“10.1007\/3-540-61604-7_51”}，“key“：”25_CR32“，”DOI-assert-by“：”crossref.“，“非结构化”：“I。Stark，\u03c0-演算的完全抽象领域模型。程序中。第11届计算机科学逻辑研讨会（LICS'96），第36\u2013421996页。”，“DOI”：“10.1109\/LICS.1996.561301”｝]，“容器标题”：[“计算机科学讲义”，“计算机软件的理论方面”]，“原标题”：[]，“链接”：[｛”URL“：”http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014569“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,5,5]]，”date-time“：”2023-05-05T15:50:06Z“，”timestamp“：1683301806000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\link.springer.com/10.1007\/BFb0014569”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“日期部分”：[1997]}，“ISBN”：[“9783540633884“，”9783540695301“]，”references-count“：32，”URL“：”http://\/dx.doi.org\/10.1007\/bfb0014569“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：“1611-3399”}]，“subject”：[]，“published”：{“日期部分”：[1997]}}}