{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T17:47:39Z”，“时间戳”：1648748859782}，“引用-计数”：18，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，内政部“：“10.1109\/lics.1991.151640”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“source”：”Crossref“，“is-referenced-by-count”：10，“title”：[“合成域理论中的不动点属性”]，“prefix”：”10.1109“，”author“：[{”given“provided”：“P.”，“family”：“Taylor”，“序列“：”第一个“，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/BFb0066201”，“volume”：”611“，“author”：“makkai”，“year”：“1977”，“journal-title”：“一阶范畴逻辑”}，{“key”：“ref11”，“auder”：“smyth”，“年份”：“1978”，“日记标题”：“The categorical Solution”递归区域方程“}，{”key“：”ref12“，“首页”：“366”，“作者”：“phoa”，“年份”：“1990年”，“新闻标题”：“计算机科学中的逻辑”}，{“关键字”：“ref13”，“年”：“0”}：“范畴理论与计算机科学”}，{“key”：“ref16”，“author”：“scott”，“year”：“0”，“journal-title”：“？-演算的相关理论”}，{“key”：”ref17“，”doi-asserted-by“：”publisher“，”doi“：”10.1137\/0205037“}，”{“key”：”ref18“，”year“：”0 29-6“}，{“key”：“ref3”，“year”：“1980”，“journal-title”：“To H B Curry Essays on combination logic lambda calculation and formalism”}，{“key”：“ref6”，“author”：“johnstone”，“year”：“1977”，“journal-title”：“Topos Theory”}.，{《key》：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S0305004100057534”}sian闭范畴“}，{“key”：“ref7”，“author”：“kock”，“year”：“1981”，“journal-title”：“Synthetic differential geometry”}，{“key”：”ref2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0049-237X（08）71128-5“}，”key“：”ref1“，”volume“14“，”卷“：”7“，”作者“：”lambek“，”年份“：”1986“，“journal-title”：“高阶范畴逻辑导论”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑研讨会”，“location”：“Amsterdam，Netherlands”}，“container-title“：[”[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science“]，“original-title:[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151640.pdf？arnumber=151640”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2018,1,20]]，“日期时间”：“2018-01-20T22:40:27Z”，“时间戳”：1516488027000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/151640\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]}，”引用计数“：18，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151640“，”关系“：{}，‘主题’：[]}