{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,1]]，“日期-时间”：“2022-04-01T00:15:31Z”，“时间戳”：1648772131877}，“引用-计数”：46，“发布者”：“爱思唯尔BV”，“问题”：“1-2”，“许可证”：[{“开始”：{:“日期-部分”：[[1996,12]]，“时间”：1996-12-01T00:00:00Z“，”时间戳“：849398400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：6072，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1996,12]]}，”DOI“：”10.1016\/s0304-3975（96）80703-1“，”type“：”journal-article“，”created“：{”date-part“：[[2007,3]]，”date-time“：”2007-03-03T01:51:29Z“，”timestamp“：1172886689000}“page”：“83-128”，“source”：“Crossref”，“is-referenced-by-count”：16，“title”：[“联合析取的筛选模型\u03bb-calculi”]，“prefix”：“10.1016”，“volume”：“170”，“author”：[{“给定”：“Mariangingola”，“family”：“Dezani-Ciancaglini”，“sequence”：“first”，“affiliation”：[]}，{“given”：阿道夫”，“家族”：“派珀诺”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[｛“key”：“10.1016\\S0304-3975（96）80703-1_BIB1”，“doi asserted by”：“crossref”，“first page”：“300”，“doi”：“10.1006\\inco.1994.1019”，“文章标题”：“非确定性语言中静态类型推理的语义”，“volume”：“109”，“author”：“Abadi”，“year”：“1994”，“journal title”：“Inform.Comput.”}，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB2”，“series-title”：“应用多道程序的语义基础”，“首页”：“1”，“文章标题”：“ICALP'83”，“卷”：“第154卷”，“作者”：“Abramsky”，“年份”：“1983”}crossref“，”首页“：”1“，”doi“：“10.1016\/0168-0072（91）90065-T”，“article-title”：“逻辑形式的领域理论”，“volume”：“51”，“author”：“Abramsky”，“year”：“1991”，“journal-title“：”Ann.Pure Appl.Logics“}，{“key”：”10.1016\/S0304-3975（96）80703-1_BIB4“，”doi-asserted-by“：”crossref“，”first page“：”159“，“doi”：“10.1006\/inco.1993.1044”，“物品标签”：“惰性lambda演算中的完全抽象”，“volume”：“105”，“author”：“Abramsky”，“year”：“1993”，“journal-title”：“Inform.Comput.”}，{“key”：”10.1016\/S0304-3975（96）80703-1_BIB5“，”series-title“：”Type Preorders“，”first page“：”37“，”article-title“：{“键”：“10.1016\/S0304-3975（96）80703-1_BIB6”，“series-title”：“并发lambda演算中必须和可能收敛”，“首页”：“211”，“文章标题”：“MFCS'94”，“卷”：“第841卷”，“作者”：“Alessi”，《年份》：“1994”}，{“键”：“10.1016\/S0304-3975（96）80703-1_BIB7”，“doi-asserted-by”：“交叉引用”，“第一页”：”227“doi”：“1016\/0304-975（80）90015-8”，“物品标签”：“非确定性类型lambda演算的数学语义”，“volume”：“11”，“author”：“Ashcroft”，“year”：“1980”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：”10.1016\/S0304-3975（96）80703-1_BIB8“，”doi-asserted-by“：”crossref“，”first page“：”135“，”doi“：”10.116\/0304-3975（92）90297-S“，”article-title“：“完全限制交叉口类型学科”，“卷”：“102”，“作者”：“van Bakel”，“年份”：“1992”，“日志标题”：“Theoret.Compute.Sci.”}，{“问题”：“6”，“关键”：“10.1016\/S0304-3975（96）80703-1_BIB9”，“doi-asserted-by”：“crossref”，“首页”：“643”，“doi”：“101093\/logcom\/3.643”，“文章标题”：“严格类型分配系统的主要类型方案”，“卷”：“3”，“作者”：“van Bakel”，“年份”：“1993”，“日志标题”：“J.Logic Compute.”}，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB10”，“series-title”：“基本交叉类型分配系统”，“首页”：“13”，“文章标题”：”FSTTCS'93“卷”，“volume”：第761卷”：“1993”}，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB11”，“doi-asserted-by”：“crossref”，“first page”：”202“，”doi“：”10.1006\/inco.1995.1086“，”article-title“：“交集和联合类型：语法和语义”，“volume”:“119”，”author“：”Barbanera“，“year”：“1995”，“journal-title”：“Inform.Comput.”}304-3975（96）80703-1_BIB12“，“作者”：“Barendregt”，“year”：“1984”}，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB13”，“doi-asserted-by”：“crossref”，“first-page”：“931”，“doi”：“10.2307\/2273659”，“article-title”：“过滤lambda模型和类型赋值的完整性”，“volume”：《48》，“author”：“Barndregt”“密钥”：“10.1016\/S0304-3975（96）80703-1_BIB14“，”series-title“：”Semostive operationelle et algebrique des programmes recursifs non-deterministes“，”author“：”Boudol“，”year“：”1980“}，{“key”：“10.1016\/S0304-3975（96）80703-1-BIB15”，“series-title”：“Toward a lambda-calculus for concurrent and communication systems”，“first page”：”149“，”article-title“：”TAPSOFT'89“，”volume“：“Vol.351”，“author”：“Boudol”，“year”：“1989”｝，｛“key”：“10.1016\/S0304-3975（96）80703-1_BIB16”，“doi断言者”：“crossref”，“首页”：“51”，“doi”：“10.1006\/inco.1994.103”，“文章标题”：“（严格）并行函数的lambda演算”，“卷”：“108”，“author”：“Boudol”，“year”：“1994”，“期刊标题”：“Inform.Comput.”｝，｛“key”：“10.1016\/S0304-3975（96）80703-1_BIB17“，“series-title”：“主体类型方案和\u03bb-calculus语义”，“首页”：“535”，“作者”：“Coppo”，“年份”：“1980”}，{“键”：“10.1016\/S0304-3975（96）80703-1-BIB18”，“doi-asserted-by”：“crossref”，“第一页”：类型推断、抽象解释和严格性分析”，“卷”：“121”，“作者”：“科普”，“年份”：“1993”，“期刊标题”：“理论。计算。科学。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB19“，”series-title“：”并行和非确定性\u03bb-calculus的过滤模型“，”first page“：“403”，”article-title“：“MFCS'93”，“volume”：“Vol.711”，“author”：“Dezani-Ciancaglini”，“year”：“1993”}，“key”：”10.116\/S034-3975（96）80 703-1_BAB20“，”unstructured“：”M.de Zani-Ciancaglini，U.de’Liguoro和a。Piperno，《并行计算的滤波模型》，SIAM J.Comput。，出现“}”，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB21”，“series-title”：“抽象标准化定理”，“首页”：“72”，“author”：“Gonthier”，“年份”：“1992”}，{”key“：”10.1016\/S0304-3 975（1996）80703-BIB22“，”doi-asserted-by“：”crossref“，”first page“：“55”，“doi”：“101006\/inco.1994.1052”，“article-title“：”高阶过程的完全抽象指称模型”，“卷”：“112”，“作者”：“轩尼诗”，“年份”：“1994”，“期刊标题”：“通知”。计算。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB23“，”doi-asserted-by“：”crossref“，”first page“：“1”，“doi”：“10.1016\/0304-3975（83）90136-6”，“article-title”：“键入\u03bb-terms的完备性定理”，“volume”：“22”，“author”：“Hindley”，“year”：“1983”，“journal-title“：”Theoret.Compute.Sci.“}”，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB24”，“series-title”：“Coppo\u2014Dezani\u2014Sall\u00e9类型赋值的简单语义“，”firstpage“：”212“，”article-title“：”Proc。国际交响乐团。项目。“，”volume“：”Vol.137“，”author“：”Hindley“，”year“：”1982“}，”{“key”：“10.1016\/S0304-3975（96）80703-1_BIB25”，”doi-asserted-by“：”crossref“，“first page”：”289“，”doi“：”10.1002\/malq.19800261902“，”article-title“：”Lambda微积分模型和扩展性“，”volume“:”26“，”author“:”Hindley“，”“year“:”1980“，”journal al-title“：”Z.Math.Logik“}，{“键”：“10.1016\/S0304-3975（96）80703-1_BIB26“，“series-title”：“析取严格性分析”，“首页”：“174”，“作者”：“Jensen”，“年份”：“1992”}，{“key”：“10.1016\/S0304-3 975（86）80703-BIB27”，“author”：“Krivine”，“年”：“1990”}对\u03bb\u03b2K-微积分和标记的\u03bs-calculus的代数解释，“首页”：“147”，“文章标题”：“\u03lb-calculos和计算机科学理论”，“卷”：“第37卷”，“作者”：“L\u00e9vy”，“年份”：“1975”}，{“关键字”：“10.1016\/S0304-3975（96）80703-1_BIB29”，“系列标题”：”非确定性非类型\u03bp-calculs“，“作者“：”de‘Liguoro’，“年份”：“1991”}，{“key”：“10.1016\/S0304-3975（96）80703-1_BIB30”，“首页”：“149”，“文章标题”：“必须在非确定性非类型\u03bb-calculus中预排序”，“卷”：“122”，“作者”：“de‘Ligooro”，“年”：“1995”，“日志标题”：”Inform.Comput.“，”doi-asserted-by“：”crossref“，”first page“：”119“，”DOI“：”10.1017\/S0960129500001407“，”article-title“：”作为过程的功能“，”volume“：”2“，”author“：”Milner“，”year“：”1992“，”journal-title”：“J.Math。结构。计算。科学。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB32_1“，”doi-asserted-by“：”crossref“，”first page“：“1”，“doi”：“10.1016\/0890-5401（92）90008-4”，“article-title”：“移动进程演算，第一部分和第二部分”，“volume”：“100”，“author”：“Milner”，“year”：“1992”，“journal-title“：”Inform.Comput.“}\/S0304-3975（96）80703-1_BIB32_“，”doi-asserted-by“：”crossref“，”first page“：”41“，”DOI“：”10.1016\/0890-5401（92）90009-5“，”article-title“：”移动进程微积分，第一部分和第二部分“，”volume“：“100”，”author“：”Milner“，”year“：”1992“，”journal-title”：“Inform”。计算。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB33“，”series-title“：“编程语言的Lambda演算模型”，”author“：”Morris“，”year“：”1968“}”，{“key”：“10.1016\/S0304-3 975（96）80703-BIB34”，“series-title”：“The lazy\u03bb-calculus:an insearch to The foundations of functional programming”，“author”：“Ong”，“year”：“1988”}，”{“key”：”10.1016\/S0304-3975（96）80703-1_BIB35“，“author”：“Ong”，“year”：“1992”}，{“key”：“10.1016\/S0304-975（96）80 703-1_BAB36”，“series-title”：“Non-determinism in a functional setting”，“first page”：”275“，”author“：”Ong“，“year:”1993“}，“key：“crossref”，“first page”：“223”，“doi”：“10.1016\/0304-3975（77）90044-5”，“文章标题”：“LCF被认为是一种编程语言”，“卷”：“5”，“作者”：“Plotkin”，“年份”：“1977”，“期刊标题”：“Theoret。计算。科学。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB38“，”doi-asserted-by“：”crossref“，”first page“：“452”，“doi”：“10.1137\/0205035”，“article-title”：“A powerdomain construction”，“volume”：“3”，“author”：“Plotkin”，“year”：“1976”，“journal-title“：”SIAM J.Compute.“}”，{“key”：”10.116\/S03094-3975（96）80 703-1_B IB39“，”doi-asserted-by“：”crossref“，”first page“：”256“，“doi”：“10.1006\/inco.1994.1018“，”article-title“：”静态类型推断的语义“，”volume“：”109“，”author“：”Plotkin“，“year”：“1994”，“journal-title”：“Inform”。计算。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB40“，”doi-asserted-by“：”crossref“，”first page“：“151”，“doi”：“10.1016\/0304-3975（83）90069-5”，“article-title”：“扩展类型理论的主体类型方案”，“volume”：“28”，“author”：“della Rocca”，“year”：“1984”，“journal-title“：”Theoret.Compute.Sci.“}”，{“key”：”10.1 016\/S0304-3975（96）80703-1_BIB41“，”doi-asserted-by“：”crossref“，”first page“：”120“，”doi“：”10.1006\/inco.1994.1042“，”article-title“：”The lazy\u03bb-calculus in a concurrency scenario“，”volume“：“111”，“author”：“Sangiorgi”，“year”：“1994”，“journal-title”：“Inform”。计算。“}，{”key“：”10.1016\/S0304-3975（96）80703-1_BIB42“，”series-title“：”指称语义的域“，”首页“：”577“，”文章标题“：”ICALP'82“，”卷“：”Vol.140“，”author“：”Scott“，”year“：”1982“}”{，“doi”：“10.1016\/0022-0000（78）90048-X”，“文章标题”：“Power domains”，“volume”：“16”，“author”：“Smyth”，“year”：“1978”，“journal-title”：“J.Compute”。系统。科学。“｝，｛”key“：”10.1016/S0304-3975（96）80703-1_BIB44“，”系列标题“：”高阶通信系统的微积分“，”作者“：”Thomsen“，”年份“：”1990“｝，｛”key“：”10.1016/S0304-3975（96）80703-1_BIB45“，”doi断言“：”crossref“，”首页“：”488“，”doi“：”10.1137\/0205036“，”文章标题“：”Scott的lambda演算D\u221e模型的计算性质和指称性质之间的关系”，“卷”：“5”，“作者”：“Wadsworth”，“年份”：“1976”，“期刊标题”：“SIAM J.Compute。“}]，”container-title“：[”Theoryal Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\\/api.elsevier.com/content\/article\/PII:S0304397596807031？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S0304397596807031？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,1,9]]，“date-time”：“2019-01-09T00:50:13Z”，“timestamp”：1546995013000}，“score”：1，“resource”：{“primary”：“URL”：“https://linkinghub.elsevier.com\/retrieve\/pi\/S0 304397596807031“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[[1996,12]]}，”引用-计数“：46，”日志-发布“：}”问题“：“1-2”，“发布-打印”：{“日期-部分”：[[1996,12]}}，“alternative-id”：[“S0304397596807031”]，“URL”：“http://\/dx.doi.org\/101016\/s0304-3975（96）80703-1”，“关系”：{}，N“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，”subject“：[]，“已发布“：{“date-parts”：[[1996,12]]}}}