{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,3]]，“日期时间”：“2024-09-03T20:39:31Z”，“时间戳”：1725395971504}，“引用计数”：24，“发布者”：“IEEE Compute.Soc.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1994.316054”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,17]]，“date-time”：“2002-12-17T14:36:54Z”，“timestamp”：1040135814000}，“page”：”353-362“，“source”：：“Crossref”，“is-referenced-by-count”：4，“title”：[“A general semantics for Evaluation Logic”]，“prefix”：”10.1109“，“author”：[{“给定”：“E.”，“family“：“Moggi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“doi-asserted-by”：“publisher”，“key”：“ref10”，“doi”：“10.1017\/S0960129500001298”}，{“doi-asserted-by”：”publisher“，”key“：”ref11 \/0890-5401（91）90052-4“}，{“年份”：“0”，“键”：“参考13”}，}“doi-asserted-by”：“publisher”，“key”：“ref14”，“DOI”：“10.1109\/LICS.1994.316054”}fibrations拓扑理论有效拓扑与适度集，“key”：“ref17”}，{“key“：”ref18“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-1-4471-3182-3_11“，”article-title“：”Evaluation logic“，”author“：”pitts“，”year“：”1991“，”journal-title:”IVth Higher Order Workshop Banff 1990“}，”{“year”：“1993”，“author”：“pitts”，“journal-title”：“计算机科学的数学发现”，“article-title“：“动态创建本地名称的高阶函数的可观察属性，或者：有什么新内容？”，“key”：“ref19”｝，｛“year”：“1979”，“author”：“gordon”，“doi断言者”：“crossref”，“journal title”：“Edinburgh LCF A Machineized Logic of Computation”，“key”：“ref4”，“doi”：“10.1007\\3-540-09724-4”｝，｛“doi断言者”：“publisher”，“key”：“ref3”，“doi”：“10.1109 \/LICS.1990.113760”}，{“doi-asserted-by”：“publisher”，“key”：“ref6”，“doi”：“10.1006 \/inco.1995.1077”}由“：”publisher“，”key“：”ref7“，”doi“：”10.1007\/BFb0084217“}插入，{“doi-asserted-by”：“publisher”，“key”：“ref2”，“doi”：“10.1016\/0022-4049（72“：”ref20“，”doi“：”10.1007\/BFb0084231“}，{”年份“：”0“，”key“：”ref22“}”，{“年份”：“1992”，“author”：“rosolini”，“journal-title”：“编程语义的数学基础”，“key”：“ref21”}，{“year”：“1976”，“author”:“wyler”，“日记标题”：“范畴拓扑”，“密钥”：“ref24”}：“第九届IEEE计算机科学逻辑年会”，“地点”：“法国巴黎”}，“容器-标签”：[“第九次IEEE计算机逻辑年会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/990\/00316054.pdf？arnumber=316054”，“内容-类型”：“未指定”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,6,15]]，“日期时间”：“2017-06-15T16:26:35Z”，“时间戳”：1497543995000}，“分数”：1，“资源”：{primary：{”URL“：”http://ieeexplore.ieee.org\/document\/316054\/“}”，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分“：[[null]]}，“references-count”：24，“URL”：“http://\/dx.doi.org\/10.109\/lics.1994.316054”，“关系”：{}，“主题”：[]}}