｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,5]]，“日期时间”：“2022-04-05T16:18:25Z”，“时间戳”：1649175505576｝，“发布者位置”：“柏林，海德堡”，“引用计数”：23，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540552512”，“类型”：“打印”｝，｛“值”：“9783540467991”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1992]}，”DOI“：”10.1007\/3-540-55251-011“，”type“：”book-capter“，”created“：”{“date-part”：[2012,2,26]]，“date-time”：“2012-02-26T09:55:54Z“，”timestamp“：1330250154000}，”page“：”203-220“，”source“：“Crossref”，“is-referenced-by-count”：2，“title”：[“必须在非确定性非类型化\u03bb-calculus中预先排序”]，“prefix”：“10.1007”，”author“：[{“给定”：“U.”，“family”：“De'Liguoro”，“sequence”：“first”，“affiliation”：[]}，{“given”：“A.”，“家族”：“Piperno”，“序列”：“additional”，“从属关系”：[]}]，“成员”：“297”，“在线发布“：{”日期部分“：[[2005,5,30]]}，“reference”：[{“key”：“11_CR1”，“unstructured”：“S.Abramsky，C.H.L.Ong，《Lazy Lambda Calculus中的完全抽象》，帝国理工学院计算机系研究代表，1989年。”}，{“key”：《11_CR2》，“doi-asserted-by”：“crossref”，《unstructure》：“E.A.Ashcroft，M.C.B。Hennessy，《非确定性类型Lambda演算的数学语义》，TCS 11，1980。“，“DOI”：“10.1016\/0304-3975（80）90015-8”}，{“key”：“11_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“E.Astesiano，G.Costa\u201c非确定性类型的分布语义”，TCS 32，1984。“，”DOI“：”10.1016\/0304-3975（84）90027-6“}，{“key”：“11_CR4”，“unstructured”：“H.P.Barendregt，The Lambda-Calculus:Its Syntax and Semantics，North-Holland，1984。”}，“key“：”11_CR5“，“unsructured“：”C.B\u00f6hm，\u201cAlcune opropera'delle forme \u03b2-gh-normal nel\u03bb-K-calcolo\u201d，Pubblicazioni dell'I.A.C.n.696，Roma 1968。“}”，{“键”：“11_CR6”，“非结构化“：”G.Boudol，\u201cA Lambda Calculus for Parallel Functions \u201d，INRIA Preprint，1990.“}，{“key”：“11_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Coppo，M.Dezani-Ciancaglini，S.Ronchi della Rocca，\u201 c（Semi）-Scott的D\u221e模型中有限项集的可分性，\u03bb-Calculus\u201d的LNCS 621978。“，”DOI“：”10.1007\/3-540-08860-1_12“}，{“key”：“11_CR8”，“unstructured”：“U.de’Liguoro，\u201cNon-deterministics untyped\u03bb-calculus\u201d，Ph.D.Thesis，1991年。”}，“key“：”11_CR9“，”DOI-asserted-by“：”crossref“，”unstructure“：”R.de Nicola，M.C.B.Hennessy，\u201 cTesting Equivalences for Processes，TCS 341983。“，”，“DOI”：“10.1 007\/BFb0036936“}，{”键“：”11_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”M.C.B.Hennessy，\u201cThe Semantics of Call-by-value and Call-by-name in a non-deterministic Environment\u201d，SIAM J.Compute。9，1980.“，”DOI“：”10.1137\/0209005“}，{“key”：“11_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.C.B.Hennessy，G.D.Plotkin，\u201cFull Abstraction for a Simple Parallel Programming Language，LNCS 74，1979。”，“DOI”：“10.1007\/3-540-09526-8_8”}，“key“：”11_CR12“，”DOI-assert-by“：”crossref.“，“unstracted”：“J.R.Hin G.德利。Longo，\u201cLambda微积分模型与可拓性\u201d，Z.Math。Logik Grundlag公司。数学。26，1980.“，”DOI“：”10.1002\/malq.19800261902“}，{“key”：“11_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Hyland，\u201cA Lambda Calculus\u201d，J.of the London Math.Soc.121976.”，“DOI”：“10.1112\/jlms\/s2-12.3.361”}，“key“：”11_CR14“，”unstructure“：”R.Jagadees an、P。Panangaden，\u201cA高阶过程微积分的领域理论模型\u201d，LNCS 443，1990.“｝，｛“key”：“11_CR15”，“非结构化”：“R.Milner\u201cFunctions as Processes\u201d，LNCS 443，1990.”｝，｛“key”：“11_CR16”，doi由“：”crossref“断言，”非结构化“：”E.Moggi，\u201cNotions of Computation and Monads\u201d，Inf.Comp.931991.“，”doi“：”10.1016\/0890-5401（91）90052-4“}，{“key”：“11_CR17”，“unstructured”：“J.H.Morris，Lambda Calculus Models of Programming Languages，Dissertation，M.I.T.1968.”}，}，“key“：”11_CR18“，“doi-asserted-by”：“crossref”，“非结构化”：“G.D.Plotkin，\u201cCall-by-name，Call-by-value and the \u03bb-Calculus\u201d，TCS 11975.”，“doi”：“10.1016\/0304-397 5（75）90017-1“}，{“key”：“11_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“G.D.Plotkin，\u201cA Powerdomain Construction\u201d，SIAM J.of Comp.5，1976。”，“doi”：“10.1137\/0205035”}，{”key“：”11_CR20“，”unstructure“：”K.Sharma，《非确定性Lambda演算的句法方面》，硕士论文，华盛顿州立大学，1984年9月。作为公司内部报告CS-84-127提供。科学部“}，{”key“：”11_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”M.B.Smyth，\u201cPower Domains\u201d，J.Comp.Sys.Sci.16，1978。“，”doi“：”10.1016\/0022-0000（78）90048-X“}”，{“key”：“11_CR22”，“doi-assert-by”：“crossreff”，“unstructure”：“B.Thomsen，\u201 cA高阶通信系统演算\u201 d，ACM 1431989。“，”doi“：”10.1145\/75277.75290“}，{“key”：“11_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“C.P.Wadsworth，\u201cLambda-calculus\u201d的Scott的D\u221e模型的计算特性和指称特性之间的关系，SIAM J.of Comp.5，1976。”，“doi”：“10.1137\/0205036”}]，“container-title”：[“CAAP’92”，“计算机科学讲义”]，“original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-55251-011.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,17]]，“date-time”：“2020-11-17T20:58:18Z”，“timestamp”：16056698000}，“score”：1，“资源”：{“主资源”：}URL“：”http://\/link.springer.com/10.1007\/3-540-55251-0_11“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[1992]}，”ISBN“：[”9783540552512“，”97835467991“]，”references-count“：23，”URL“http://\/dx.doi.org\/10.10007\/3540-55251-00_11”，“关系”：{}“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1992]}}