{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,1,31]]，“日期时间”：“2024-01-31T17:49:46Z”，“时间戳”：1706723386094}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540643005”，“类型”：“打印”}，{“值”：“9783540697206”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1998]]}，”DOI“：”10.1007\/bfb0053552“，”type“：”book-chapter“，”created“：”{“date-part”：[2006,6,7]]，“date-time”：“2006-06-07T05:19:46Z”，“时间戳”：1149657586000}，“页面”：“211-225”，“源”：“Crossref”，“is-referenced-by-count”：9，“title”：[“Functor categories and two-level languages”]，“prefix”：“10.1007”，”author“：[{“given”：“E.”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2006,5,23]]}，“reference”：[{“key”：”15_CR1“，“unstructured”：“M.Fiore，E.Moggi和D Sangiorgi。像素的完全抽象模型。在第11届LICS会议上。IEEE，1996年。“}，{”key“：”15_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Gomard和N.Jones。非类型lambda演算的部分评估器。《函数程序杂志》，1（1），1991年。“，”doi“：”10.1017\/S095679600000058“}”，{“key”：“15_CR3”，“unstructure”：“Carsten Krogh Gomard.Program Analysis Matters.PhD thesis，DIKU，1991年11月。DIKU报告91\/17.“}，{”key“：”15_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Gomard.lambda演算的自应用部分求值器。《程序语言与系统ACM Trans.》，14（2），1992年。“”doi“：”10.1145\/128861.128864“}”，{“key”：“15_CR5”，“doi-assert-by”：“crossref.”，“unstructure”：“F.Henglein and C。莫辛。多态结合时间分析。在D.Sanella，编辑，ESOP’94，LNCS第788卷。Springer Verlag，1994.”，“DOI”：“10.1007\/3-540-57880-3_19”}，{“key”：“15_CR6”，“非结构化”：“Neil D.Jones，Carsten K.Gomard，and Peter Sestoft。部分评估和自动程序生成。Prentice Hall International，1993.”}，{“key”：“15_CR7”，“DOI asserted by”：“crossref”，“非结构化”：“F.W。劳维尔。代数理论的功能语义。程序。美国国家科学院。科学。美国，1963年50月。“，”DOI“：”10.1073\/pnas.50.5.869“}，{”key“：”15_CR8“，”volume-title“：”编程语言基础“，”author“：”J.C.Mitchell“，”year“：”1996“，”unstructured“：”John C.Michell.Foundations of Programming Languages.The MIT Press，Cambridge，MA，1996.“}。莫吉。类型化lambda演算的Kripke型模型。《纯粹与应用代数杂志》，1991年第51期。“，”DOI“：”10.1016\/0168-0072（91）90067-V“}，{”key“：”15_CR10“，”DOI-asserted-by“：”crossref“，”unstructured“：”E.Moggi.计算与单子概念.信息与计算，93（1），1991年。“，非结构化“：”E。莫吉。对两级语言的分类描述。在MFPS XIII，ENTCS中。Elsevier，1997.“，”DOI“：”10.1016\/S1571-0661（05）80155-0“}，{“key”：“15_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“E.Moggi.元语言和应用程序，计算语义学和逻辑学，牛顿研究所出版，CUP，1997.”，“DOI”：“10.1017\/CBO9780511526619.006”}，“key“：”15_CR13“，”DOI-assert-by“：”crossref.“”，“非结构化”：A.Meyer和M.Wand。类型化lambda演算中的连续语义。在R.Parikh，编辑，《程序逻辑》85，LNCS第193卷。Springer Verlag，1985.“，”DOI“：”10.1007 \/3-540-15648-8_17“}，{“key”：“15_CR14”，“DOI-asserted-by”：“crossref”，“unstructured”：“F.Nielson和H.R.Nielson.二级函数语言.剑桥理论计算机科学丛书第34号.CUP，1992年.”，“DOI”：“10.1017 \/CBO9780511526572”}，“key“：”15_CR15“，”非结构化“：”F.J。奥莱斯。类型代数、函子范畴和块结构。M.Nivat和J.C.Reynolds主编，《语义代数方法》，1985年key“：”15_CR17“，”doi-asserted-by“：”crossref“，”unstructured“：”A.M.Pitts和I.D.B.Stark.动态创建本地名称的高阶函数的可观测属性，或者：有什么新特性？数学专业。已找到。公司的。科学93，LNCS第711卷。Springer Verlag，1993.“，”DOI“：”10.1007\/3-540-57182-5_8“}，”{“key”：“15_CR18”，“unstructured”：“R.D.Tennent.编程语言的语义.Prentice Hall，1991.”}，{“issue”：“3”，“key“：”15_CR19“，”DOI-asserted-by“：”publisher“，”first page“：“，”年“：”1993“，”非结构化“：”米切尔·旺德。指定绑定时间分析的正确性。函数编程杂志，3（3）：365\u20133871993年7月。“，”Journal-title“：”Journal of Functional Programming“}]，”container-title”：[“计算机科学讲义”，“软件科学和计算结构基础”]，“original-title:[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/BFBb0053552“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[[2019,4,19]]，“date-time”：“2019-04-19T06:31:37Z”，“timestamp”：1555655497000}，“score”：1，“resource”：{primary“：”http://link.springer.com\/101007\/BFb0053552“}，”subtittle“：[]，“短标题”：[]，“已发布”：{date-parts“：[[1998]]}，”ISBN“：[”9783540643005“，”978354697206“]，”references-count“：19，”URL“：”http://\/dx.doi.org\/10.1007\/bfb0053552“，”relation“：{}，“ISSN”：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1998]]}}}