｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,2]]，“日期时间”：“2022-04-02T02:51:50Z”，“时间戳”：1648867910580｝，“引用计数”：20，“发布者”：“IEEE Comput.Soc.Press”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“DOI”：“10.1109\/lics.1993.287600”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,12,30]]，“date-time”：“2002-12-30T19:12:50Z”，“timestamp”：1041275570000}，“source”：”Crossref“，“is-referenced-by-count”：9，“title”：[“关于笛卡尔封闭类别的统一问题”]，“prefix”：“10.109”，“author”：[{“给定”：“P.”，“family”：“Narendran”“”、“sequence”：“first”，“affiliation”：[]}，{“given”：“F.”，“family”：“Pfenning”，“sequences”：“additional”，“filiation“：[]{”given“：”R.“，”family“：”Statman“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，”article-title“On the uniformation problem for the Cartesian closessian categories”，“author”：“narendran”，“year”“：”1989“，“journal-title”：“高阶逻辑研讨会”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/32248.322251”}模线性同构“}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01084396”}publisher“，”doi“：”10.1016\/S0747-7171（87）80004-4“}，{”key“：”ref3“，”首页“：”243“，“author”：“dershowitz”，“year”：“1990”，“journal-title”：“理论计算机科学手册”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/0215084”}doi“：”10.1007\/BF00245463“}，{“键”：“参考7”，“首页”：“143”，“文章-标题”：“术语重写系统：教程”，“卷”：“32”，“作者”：“klop”，“年份”：“1987”，“期刊标题”：《EATCS公报》}，{“关键字”：“ref2”，“首版”：“263”，“论文-标题”:“Bruce and Giuseppe Longo。类型语言模型中的可证明同构和域方程”，“作家”：“kim”，“年”：“1985”，“journal-title”：“第17届ACM计算机理论研讨会论文集”}，{“key”：“ref1”，“doi-asserted-by”：“crossref”，“first page”：”231“，“doi”：“10.1017\/S0960129500001444”，“article-title“：”类型的可证明同构“，”volume“：”2“，”author“：”bruce“，”year“：”1992：“ref9”，“author”：“lambek”，“year”：“1986”，“journal-title”：“Higher Order Categorical Logic概论”}，{“key”：“ref13a”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S095679680000006X”}ted-by“：”crossref“，”first page“：”191“，“doi”：“10.1017\/S095679680002049”，“article-title”：“通过多态类型检索可重用的软件组件”，“volume”：“1”，“author”：“runciman”，“year”：“1991”，“journal-title“：”journal of Functional Programming“}，{”key“：”ref15b“，”first-page“：”166“，”year“：”0“，”journal-title“:”Proc FPCA'89“}]，“event”：{“name”：“[1993]第八届IEEE计算机科学逻辑年会”，“地点”：“加拿大魁北克省蒙特利尔”}，“container-title”：[“[1993]Proceedings Firsth Annual IEEE Symposium on Logic in Computer Science”]，“原始标题”：[]，“链接”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx2\/899\/7167\/00287600.pdf？arnumber=287600”，“内容类型”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,3,11]]，”date-time“：”2020-03-11T23:07:37Z“，”timestamp“：1583968057000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieeexplore.iee.org\/document\/287600\/”}，“副标题”：[]，“短标题”：[]，”issued“：{”日期部分“：[[null]]}，”references-count“：20，”URL“：”http://\/dx.doi.org\/10.109\/lics.1993.287600“，”关系“：{}，”主题“：[]}}