{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,7,17]]，“日期-时间”：“2023-07-17T16:15:51Z”，“时间戳”：1689610551115}，“引用-计数”：22，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[[1989,1]]，《日期-时间》：“1989-01-01T00:00:00Z“，“时间戳”：599616000000}，“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”：8963，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[1989,1]]}，”DOI“：”10.1016\/0890-5401（89）90023-0“，”type“：”journal-article“，”created“：{”date-part“：[[2004,12,2]，”date-time“：”2004-12-02T00:24:20Z“，”timestamp“：11001947060000}”，“page”：“50-95”，“source”：“Crossref”，“由count引用”：20，“title”：[“Partiality，cartesian closeness，and toposes”]，“prefix”：“10.1016”，“volume”：“80”，“author”：[｛”给定“：“P.-L”，“family”：“Curien”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“A.”，“family”：“Obtu\u0142owicz”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛”key“：”10.1016 \/0890-5401（89）90023-0_BIB1“，”article-title“：“部分语素的分类和类型结构之间的关系”，“author”：“Asperti”，“year”：“1985”}，{“key”：“10.1016\/0890-5401（89）90023-0_ BIB2”，“first page”：”3“，”article-title“：”Alg\u00e8bres graphiques“，”volume“22“，”author“：”Burroni“，”year“：”1981“，”journal title“：”Cahiers拓扑G\u00e9om。Diff\u00e9rentielle“}，{“key”：“10.1016\/0890-5401（89）90023-0_BIB3”，“series-title”：“部分映射的双类别”，“author”：“Carboni”，“year”：“1985”}，}“key:”10.1016\/0890-5401（89）900023-0_BAB4“，”doi-asserted-by“：”crossref“，”first page“：”173“，“doi”：“1016\/0167-6423（87）90020-7”，“article-title”：“范畴抽象机”，“卷”：“8”，“作者”：“Cousineau”，“年份”：“1987年”，“新闻标题”：“科学。计算。编程“}，{“key”：“10.1016\/0890-5401（89）90023-0_BIB5”，“doi-asserted-by”：“crossref”，“article-title”：“类别组合器、序列算法和函数编程”，“author”：“Curien”，“year”：“1986”，“doi”：“101007\/978-1-4612-0317-9”}，}“key:”10.1016\/0890-5401（89）900023-0_BAB6“，“series-title”：”自治类别“author:”Di Paola“，”年份：“1984”}，{“key”：“10.1016\/0890-5401（89）90023-0_BIB7”，“author”：“Freyd”，“year”：“1988”，“journal-title”：“Geometric Logic”}“，”article-title“：“关于部分代数”，“卷”：“卷29”，“作者”：“Hoehnke“，”year“：”1977“}，{”key“：”10.1016\/0890-5401（89）90023-0_BIB10“，”author“：”Johnstone“，”year“：“1977”}，”key”：“10.1016\/0890-5401（89）900023-0_BAB11”，”article-title“：”初级主题“，”author“:”Kock“，”年份“：”1971“，”期刊标题“：”Aarhus University Teach Notes Series 30“}”，{“key”:“10.1016 \/08 90-5401（89）90023-0_BIB12“，”系列标题“：”数据类型的语义”，“article-title”：“有效类型结构的笛卡尔封闭枚举类别”，“volume”：“volume 173”，“author”：“Longo”，“year”：“1984”}，{“key”：”10.1016\/0890-5401（89）90023-0_BIB13“，”author“：”Mac Lane“，”year“：”1971类别理论和计算机程序设计研讨会论文集，“article-title”：“部分语素和u03bbp-calculation的类别”，“volume”：“Vol.240”，“author”：“Moggi”，“year”：“1985”}，{键“：”10.1016\/0890-5401（89）90023-0_BIB15“，”article-title“：”部分函数类别的逻辑及其应用“，”volume“：”241“，”author“：”Obtulowicz“，“年份”：“1982年”，“期刊标题”：“数学论文”。“}，{”key“：”10.1016\/0890-5401（89）90023-0_BIB16“，”article-title“：”Le\u03bb-calcul partiel“，”author“：”Pino“，”year“：”1987“，”journal-title”：“Rapport LIENS-INRIA”}，“key”：“10.1016\/0890-5501（89“10.1016\/0890-5401（89）90023-0_BIB18”，“doi-asserted-by”：“crossref“，”article-title“：“部分映射的类别”，”author“：”Robinson“，”year“：”1986“，”DOI“：”10.1016\/0890-5401（88）90034-X“}，{”key“：”101016\/0890-5401（89）90023-0_BIB19“，”article-title“：”Topoi中的连续性和有效性“，”audor“：“Rosolini”，”year:“1986”}，”{“key”：“10.1016\/0890-5401（89）900023-0_B20”，“”series-title“：”Sheeves的应用”，“article-title”：“直觉主义逻辑中的同一性和存在”，“volume”：“Vol.753”，“author”：“Scott”，“year”：“1979”}，{“key”：”10.1016\/0890-5401（89）90023-0_BIB21“，”article-title“：”Zur Theory der dht-symmetrichen Kategorien“，”author“：”Schreckenberger“，”年：“1984”}、{“密钥”：“10.1016\/0890-5401（89）900023-0_B2B 22英寸文章标题“：”Eine Kategorienthoretische Sprache zur Beschreibung von Birkhoff代数“，“作者”：“Vogel”，“年份”：“1984”，“期刊标题”：“DDR R-MATH-06\/84科学院报告”，“容器标题”：[“信息与计算”]，“原标题”：[]，“语言”：“en”，“链接”：[｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:089540189900230？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:089540189900230？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“date-parts”：[[2019,2,1]]，“date-time“：”2019-02-01T18:27:43Z“，”timestamp“：1549045663000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0890540189900230”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[1989,1]]}，《参考计数》：22，“日志发布”：}“发布”：“1”，“published-print”：{“date-parts”：[[1989,1]]}}，“alternative-id“：[”0890540189900230“]，”URL“：”http://\/dx.doi.org\/10.1016\/0890-5401（89）90023-0“，”关系“：{}，”ISSN“：[“0890-5401”]，”ISSN-type“：[{”value“：”0890-5401“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[1989,1]]}}}}