{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,9,23]]，“日期-时间”：“2024-09-23T03:42:34Z”，“时间戳”：1727062954486}，“引用-计数”：40，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[[1991,7,1]]，”“日期-时刻”：“1991-07-01T00:00:00Z”，“时间戳”：678326400000}，“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”：8052，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[1991,7]]}，”DOI“：”10.1016\/0890-5401（91）90052-4“，”type“：”journal-article“，”created“：{”date-part“：[[2004,12,16]]，”date-time“：”2004-12-16T20:34:26Z“，”timestamp“：1103229266000}”，“page”：“55-92”，“source”“：”Crossref“，“is-referenced-by-count”：1034，“title”：[“计算和单数的概念”]，“prefix”：“10.1016”，“volume”：“93”，“author”：[{“给定”：“Eugenio”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，{“文章标题”：“不动点计算的新基础”，“年份”：“1990年”，“序列-时间”：“第四届LICS会议”，“作者”：“Crole”，“key”：“10.1016\/0890-5401（91）90052-4_BIB2”}，{“文章-时间”:“构造型理论中的部分对象”，“年”：“1987年”，{“article-title”：“基本递归函数理论的计算基础”，“year”：“1987”，“series-title”：“3rd LICS Conference”，“author”：“Constable”，“key”：”10.1016\/0890-5401（91）90052-4_BIB4“}，{“issue”：“No.3”，“key”：：“10.1016\/0890-5401（91）900052-4_BAB5”，“doi-asserted-by”：“crossref”，”doi“10.1016 \/0304-3975（89）90069-8”，“物品标签”：“顺序状态的句法理论”，“卷”：“69”，“作者”：“Felleisen”，“年份”：“1989”，“日志标题”：“Theoret.Compute.Sci.”}，{“文章标题”：”带延续的推理“，”年“：”1986“，”系列标题“：”第一个LICS，Conference“，”作者“：”Felleison“，”关键字“：”10.1016\/0890-5401（91）90052-4_BIB6“}，”{“关键字”：“10.1016\/0890-5401（91））90052-4_BIB7“，“series-title”：“数学逻辑手册”，“article-title”：“拓扑的逻辑”，“卷”：“卷90”，“作者”：“Fourman”，“年份”：“1977”}，{“卷”:“卷78”，“article-tiple”：《爱丁堡LCF:计算的机械化逻辑》，“年”：“1979”，“作家”：“Gordon”，“键”：“10.1016\/0890-5401（91）90052-4_BIB8”}、{“年份”:“1989”，“author”：“Gun”“ter”，“key”：“10.1016\/0890-5401（91）90052-4_BIB9”}，{“article-title”：“高阶模块和阶段区分”，“year”：“1990”，“series-title”：“17th POPL.”，“author”：“Harper”，“key”：”10.1016\/0890-5401：“Proc.AMS Conf.on Categories in Comp.Sci.and Logic”，“author”：“Hyland”，“key”：“10.1016\/0890-5401（91）90052-4_BIB11”}，{“volume”：”Vol.661“，”year“：”1978“，”series-title“：”Indexed Categories及其应用“，”key“：”10.1016\/0890-4401（91 90-5401（91）90052-4_BIB13“}，{“键”：“10.1016\/0890-5401（91）90052-4_BIB14”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/BF01304852”，“article-title”：“强函子和单体单子”，“volume”：“23”，“author”：“Kock”，“year”：“1972”，“journal-title“：”Arch.Math.“}，{“key”：”10.1016\/0890-5401（91）900052-4_BAB15“，“series-title”：”数学手册逻辑“，”文章标题“：“范畴逻辑的教义”，“卷”：“卷90”，“作者”：“科克”，“年”：“1977”}，{“键”：“10.1016\/0890-5401（91）90052-4_BIB16”，“doi-asserted-by”：“crossref”，“doi”：“101016\/0304-3975（88）90100-4”，“article-title”：“线性抽象机”，“卷标”：“59”，“作家”：“Lafont”，“年份”：“1988”，“日记标题”：“理论计算科学“}，{“卷”：“卷7”，“文章标题”：“高阶分类逻辑导论”，“年份”：“1986”，“作者”：“Lambek”，“关键”：“10.1016/0890-5401（91）90052-4_BIB17”}，{“年份”：“1971”，“作者”：“MacLane”，“关键”：“10.1016/0890-5401（91）90052-4_BIB18”}，{“卷”：“第26卷”，“文章标题”：“代数理论”，“年份”：“1976”，“作者”：“Manes”，“关键”：“10.1016/0890-5401（91）90052-4_BIB19“｝，｛“key”：“10.1016/0890-5401（91）90052-4_BIB20”，“doi断言者”：“crossref”，“doi”：“10.1016/0167-6423（88）90026-3”，“文章标题”：“破坏性操作数据程序的验证”，“卷”：“10”，“作者”：“Mason”，“年”：“1988”，“期刊标题”：“Sci.Comput.Programming”｝，｛“key”：“10.1016/0890-5401（91）90052-4_BIB21”series-title“：“范畴理论与计算机程序设计会议论文集”，“article-title”：“部分语素和部分lambda-calculus的范畴”，“卷”：“卷240”，“作者”：“Moggi”，“年份”：“1986”}，{“article-title“：“部分lambda-Calculu斯”，“年”：“1988”，“author”：“莫吉”，“key”：“10.1016\/0890-5401（91）90052-4_BIB22”}1989年”，“author”：“Moggi”，“key”：“10.1016\/0890-5401（91）90052-4_BIB23”}，{“key“：”10.1016\/0890-5401（91）900052-4_BAB24“，“series-title”：“范畴理论与计算机科学会议论文集”，“article-title”：”程序模块的分类理论解释“，”卷“：”第389卷“，”author“：”Moggi“，”年“：”1989年“}，”{“article-title“：”计算lambda-calculus and monads“，”year“：”1989“，”series-title“：”4th LICS Conference“，”author“：”Moggi“，”key“：”10.1016\/0890-5401（91）90052-4_BIB25“}，”year:“1989”，“author”：“Mosses”，“key”：“10.1016\/0890-5401 91）90052-4_BIB27“}，{“文章标题”：”用函数抽象和记忆进行编程、转换和证明”，“年份”：“1989年”，“系列时间”：“第十六届自动机、语言和编程学术讨论会”，“作者”：“梅森”，“关键”：“10.1016\/0890-5401（91）90052-4_BIB28”}，{“文章时间”：”程序与内存的操作等价性的完善公理化“，年份：“1989”，“series-title“：”POPL 89“，”author“：”Mason“，”key“：”10.1016\/0890-5401（91）90052-4_BIB29“}，{“key”：“10.1016\/0890-5501（91“：”Plotkin“，”year“：”1975“，”journal-title“：”定理。计算。科学。“}，{”article-title“：”部分功能的指称语义“，”year“：”1985“，”series-title“：“C.S.L.I.暑期学校的课堂讲稿”，“author”：“Plotkin”，“key”：“10.1016\/0890-5401（91）90052-4_BIB31”}，“article-title”：“Topoi中的连续性和有效性”，“year”：“1986”，“author”:“Rosolini”，“key”：”10.1016\/0890-5401（91）90002-4_BIB32“}”，{“年份”：“1986”，“author”：“Schmidt”，“key”：“10.1016\/0890-5401（91）90052-4_BIB33”}，{“year”：“1969”，“series-title”：“CUCH，ISWIM，OWHY，Oxford Notes的一种理论替代品”，“author”，“Scott”，“key”：”10.1016\/0890-5401（91）900052-4_BAB34“}，“keys”：“1016\/0990-5401滑轮”，“article-title”：“直觉主义逻辑中的同一性和存在”，“卷”：“第753卷”，“作者”：“斯科特”，“年份”：“1979年”}，{“文章标题”：“计算的归纳理论”，“年”：“1980年”，“系列标题”：《致H.B.库里：组合逻辑、lambda微积分和形式主义的论文》，“作者“：“斯科德”，“关键词”：“10.1016\/0890-5401（91）90052-4_BIB36”}、{“论文标题”：线性逻辑，\u2217-自治范畴和无余余余代数”，“年份”：“1987年”，“series-title”：“计算机科学和逻辑范畴AMS会议论文集”，“author”：“Seely”，“key”：”10.1016\/0890-5401（91）90052-4_BIB37“}”，{“article-title”：“非确定性lambda演算的句法方面”，“年”：“1984”，“作者”：“Sharma”，“密钥”：“10.1016\/0890-5401（91）90052-4_BIB38“}，{“key”：“10.1016\/0890-5401（91）900052-4_BAB39”，“article-title”：“递归域方程的理论解的分类”，“volume”：”11“，“author”：“Smith”，“year”：“1982”，“journal-tittle”：参考“，”doi“：”10.1016\/0022-4049（72）90019-9”，“文章标题”：“单子的形式理论”，“卷”：“2”，“作者”：“Street”，“年份”：“1972”，“期刊标题”：“J.Pure Appl。代数“}”，“容器-title”：[“信息与计算”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\\/api.elsevier.com/content\/article\/PII:0890540191900524？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“文本-分钟”}，{“网址”：“https:\/\/api.elsevier.com/content\/article\/PII:0890540191900524？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,1,31]]，“date-time”：“2019-01-31T01:25:39Z”，“timestamp”：1548897939000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com//retrieve\/pii\/0890540 191900524“}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期-部分“：[[1991,7]]}，”引用-计数“：40，”日志-发布“：}”问题“：“1”，“发布-打印”：{“日期-部分”：[[19991,7]}}，“alternative-id”：[“0890540191900524”]，“URL”：“http://\/dx.doi.org\/10.1016\/0890-5401（91）90052-4”，“关系”：{}，“0890-5401”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0890-5 401”}]，“主题”：[]，“已发布“：{“date-parts”：[[1991,7]]}}}