{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T00:18:55Z”，“时间戳”：1649031535880}，“出版商位置”：“柏林，海德堡”，“参考计数”：17，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540732273”，“类型”：“打印”}，{“值”：“9783540732280”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-73228-0_15“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T11:”57:11Z“，”时间戳“：1184587031000}，”页面“：“194-206”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Weakly Distributive Domains”]，“prefix”：“10.1007”，”author“：[{”given“：”Ying“，”family“：”Jiang“，”sequence“：”first“，”affiliation“：[]}，{“given”：”Guo-Qiang“，”家族“：”Zhang“，“连拍”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“16”，“doi”：“10.1007\/BFb0013454”，“volume-title”：“双有限域：稳定情况。”，“author”：“R.-M.Amadio”，“year”：“1991”，“unstructured”：“Amadio，R.-M.：双有限域，稳定情况。LNCS，vol.\u00a0530，pp.16\u201333。Springer，Heidelberg（1991）“}，{”key“：”15_CR2“，”series-title“：”理论计算机科学中的剑桥丛书“，”doi-asserted-by“：”crossref“，”doi“：”10.1017\/CBO9780511983504“，”volume-title“：“Domains and Lambda-Calculi”，“author”：“R.-M.Amadio”，“year”：“1998”，“unstructured”：“Amadio，R.-M.，Curien，P.-L.：域和Lambda-Calculi。剑桥理论计算机科学导论，vol.\u00a046。剑桥大学出版社，剑桥（1998）“}，{“key”：“15_CR3”，“unstructured”：“Berry，G.：Mod\u00e8les complet\u00e8ment ad\u00e9quats et stables des lambda-calculs typ\u00e 9s.Th\u00ese de Doctorat d\u2019Etat，University\u00er9 Paris VII（1979）”}，}，“key“：”15_CR4“，”series-title“：”“计算机科学讲义”，“首页”：“344“，”卷时间“：”DI-domains作为多态模型”，“author”：“T.Coquand”，“year”：“1987”，“unstructured”：“Coquand，T.，Gunter，C.a.，Winskel，G.：DI-domins作为多态模型。LNCS，第u00a0298卷，第344\u2013363页。Springer，Heidelberg（1987）“}，{“key”：“15_CR5”，“doi-asserted-by”：“crossref”，“doi”：“10.1017\/CBO9780511809088”，“volume-title”：“格与秩序导论”，“author”：“B.-A.Davey”，“year”：“2002”，“unstructured”：“Davey，B.-A.，Priestley，H.-A.：格与秩序简介。剑桥大学出版社，剑桥（2002）”}，}，“”doi-asserted-by“：”publisher“，”first page“：”89“，”doi“：”10.1016\/0304-3975（93）90183-T“，“volume”：“111”，“author”：“M.Droste”，“year”：“1993”，“unstructured”：“Droste，M.：关于稳定域。理论计算机科学\u00a0111，89\u2013101（1993）“，”杂志标题“：”理论计算机科学“}，{“key”：“15_CR7”，“unstructured”：“Droste，M.：多态性稳定域的笛卡尔封闭范畴。预印，University\u00e4t GHS Essen”}，“key“：”15_CR8“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/0304-975（87）90045-4“，“卷”：“50”，“作者”：“J.-Y.Girard”，“年份”：“1987”，“非结构化”：“Girard，J.-Y:线性逻辑。理论计算机科学\u00a050，1\u2013102（1987）“，“期刊标题”：“理论计算机科学”}，{“关键字”：“15_CR9”，“doi-asserted-by”：“publisher”，“首页”：“1”，“doi”：“10.1016\/0304-3975（77）90053-6”，“卷”：“4”，“作者”：“R.Milner”，“年份”：“1977”，“非结构化”：“Milner，R.：类型化\u03bb-calculi的完全抽象模型。理论计算机科学\u00a04，1\u201322（1977）“，”杂志标题“：”理论计算机科学“}，{“key”：“15_CR10”，“doi-asserted-by”：“publisher”，“first page”：”452“，”doi“：”10.1137\/0205035“，”volume“：”5“，“author”：“G.Plotkin”，”year“1976”，“unstructured”：“Plotkin，G.：A powerdomain constructions.SIAM J.Computing \u00a 05，452\u2013487（1976）”，“期刊标题“：”SIAM J.Computing“｝，｛“key”：“15_CR11”，“doi asserted by”：“publisher”，“first page”：“7”，“doi”：“10.1007\\BF01806032”，“volume”：“9”，“author”：“U.Reddy”，“year”：“1996”，“nonstructured”：“Reddy，U.：全局状态被认为是不必要的：对基于对象的语义的介绍。J.Lisp和符号计算\u00a09，7\u201376（1996）”journal-title“：”J.Lisp and Symbolic Computation“}，{“key”：“15_CR12”，“doi-asserted-by”：“publisher”，“first page”：”109“，“doi”：“10.1016\/0304-3975（83）90095-6”，“volume“：”27“，“author”：“M.B.Smyth”，“year”：“1983”，“unstructured”：“Smyth，M.B.：最大的笛卡尔封闭域类别。理论计算机科学\u00a027，109\u2013120（1983）”，“journal-title“：“理论计算机科学”}，{“key”：“15_CR13”，“series-title”：“计算机科学课堂讲稿”，“首页”：“364”，“卷时间”：“事件结构简介”，“作者”：“G.Winskel”，“年份”：“1988”，“非结构化”：“Winskel，G.：逻辑和并发模型中的线性时间、分支时间和偏序。LNCS，第u00a0354卷，第364\u2013399页。Springer，Heidelberg（1988）“}，{”key“：“15_CR14”，”doi-asserted-by“：”publisher“，”first page“：”151“，“doi”：“10.1016\/0890-5401（92）90011-4”，“volume”：“100”，“author”：“G.-Q.Zhang”，“year”：“1992”，“unstructured”：“Zhang，G.-Q:dI-domains as prime information and Computations\u00a0100，151\u2013177（1992）”，“journal-title”：“信息与计算“}，{”key“：”15_CR15“，”doi-asserted-by“：”publisher“，”first page“：“203”，“doi”：“10.1016\/0304-3975（95）00191-3”，“volume”：“166”，”author“：”G.-Q.Zhang“，”year“：”1996“，”unstructured“：”Zhang，G.-Q:稳定域的最大笛卡尔封闭范畴。理论计算机科学\u00a0166203\u2013219（1996）“，”journal-title“：”理论计算机科学“}，{“key”：“15_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Zhang，G.-Q:域的逻辑.Birkhauser（1991）”，“doi”：“10.1007\/978-1-4612-0445-9”}，“key“：”15_CR17“，”doi-assert-by“：”publisher“，”first page“：“87”，“DI:”10.1016\/j.ic.2005.06.001“，“volume”：”202“author”：“G.-Q.”张”，“年份”：“2005年”，“非结构化”：“张国庆、蒋毅：关于阿马迪奥和居里的一个问题：有限反链条件。信息与计算\u00a0202，87\u2013103（2005）“，”日记标题“：”信息与计算“}]，”容器标题“：[”计算机科学讲义“，”键入的Lambda Calculi与应用程序“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.1007\/978-340-73228-0_15“，”内容类型“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,2,17]]，”date-time“：”2019-02-17T19:33:42Z“，”timestamp“：1550432022000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com/10.1007\/978-3-540-73228-0_15”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[2007]]}，“ISBN”：[“9783540732273“，”978354073 2280“]，”references-count“：17，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-73228-0_15“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：”1611-349“，”type“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2007]]}}