{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:25:09Z”，“时间戳”：1720625109386}，“引用-计数”：17，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始时间”：{-date-parts“：[[2010,9,1]]，”日期-时间“：”2010-09-01T00:00:00 0:00Z“，”时间戳“：1283299200000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2010,9]]}，”DOI“：”10.1016\/j.entcs.2010.08.003“，”type“：”journal-article“，”created“：{”date-parts“：[2010,9,4]]，”date-time“：”2010-09-04T11:15:21Z“，”timestamp“：”1283598921000}“，”page“：“11-33”，“source”：“Crossref”，“is-referenced-by-count”：2，“special_numbering”：“C”，“title”：[“Unitary Theorys，Unitary Categories”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[{“给定”：“Pieter”，“family”：“Hofstra”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Robin”，10.1016\/j.entcs.2010.08.003_br0010“，“series-title”：“构造数学基础”，“author”：“Beeson”，“year”：“1985”}，{“key”：“10.1016\/j.entcs.2010.08.003_br0020”，“series-title”：《计算机科学中的逻辑》，“first page”：《448》，“article-title》：“用唯一的头正规形式完成部分组合代数”，“author”:“Bethke”，“year”：《1996》}：“10.1016\/j.entcs.2010.08.003_br0030”，“非结构化”：“I.Bethke。偏组合代数笔记。阿姆斯特丹大学博士论文（1988年）。”}，{“key”：“10.1016\/j.entcs.2010.08.003_br0040”，“series title”：“代数与序”，“首页”：“1”，“文章title”：“偏代数\u2013一项介绍性调查”，“author”：“Burmeister”，“year”：“1993”}，{“key”：“10.1016\/j.entcs.2010.08.003_br0050”，“首页”：“307”，“文章标题”：“稳定满足半格纤维和自由限制类别”，“卷”：“16”，“作者”：“Cockett”，“年份”：“2007”，“期刊标题”：《范畴的理论与应用》}，}“issue”：“2\u20133”，“key“10.1016”\/j-entcs.2010.08.003_br0060”，”，“doi-asserted-b”y“：“crossref”，“first page”：“183”，，“DOI”：“10.1016\/j.apal.2008.04.005”，“article-title”：“图灵类别简介”，“volume”：”156“，“author”：“Cockett”，“year”：“2008”，“journal-title“：“Pure and Applied Logic年鉴”}，{“key”：：“10.116\/j.entcs.2010.08.003_br0070”，“unstructured”：“j.R.B.Cockett and P.j.W。霍夫斯特拉。部分改写系统。正在准备中。“}，{”key“：”10.1016\/j.entcs.2010.08.003_br0080“，”doi-asserted-by“：”crossref“，”first page“：“223”，“doi”：“10.1016\/S0304-3975（00）00382-0”，“article-title”：“限制类别I”，“volume”：“270”，“author”：“Cockett”，“year”：“2002”，“journal-title“：”理论计算机科学“}”，{“issue”：“2”，“key”：”10.12016 \/j.entcs.2010.08.003_br0090“，”doi-asserted-by“：”crossref“，”first page“：”293“，”DOI“：”10.1016\/S0304-3975（01）00319-X“，”article-title“：”多代数和部分代数的函数语义，以及语法应用。“，”volume“：”286“，”author“：”Corradini“，”year“：”2002“，”journal-title“：”Theoryal Computer Science“}，{“key”：“10.1016\/j.entcs.2010.08.003_br0100”，”doi-asserted-by“：”crossref“，”first page“：“，”年份“：”1989“，”期刊标题“：“信息与计算”｝，｛“键”：“10.1016\/j.entcs.2010.08.003_br0110”，“系列标题”：“计算机科学的逻辑”，“第一页”：“95”，“文章标题”：“函数程序的终止和正确性的逻辑”，“卷”：“21”，“作者”：“费弗曼”，“年份”：“1992”｝，｛“键”：“10.1016\/j.entcs.2010.08.003_br0120”，“非结构化”：“E。莫吉。部分lambda演算。爱丁堡大学博士论文（1988年）。“｝，｛”issue“：”3“，”key“：”10.1016\/j.entcs.2010.08.003_br0130“，”doi断言“：”crossref“，”首页“：”314“，”doi“：”10.1016\/j.apal.2006.10.001“，”文章标题“：”偏Horn逻辑和笛卡尔分类“，”卷“：”145“，”作者“：”Palmgren“，”年份“：”2007“，”期刊标题“：”纯粹与应用逻辑年鉴“｝，｛”key“：”10.1016\/j.entcs.2010.08.003_br0140“，”doi-asserted-by“：”crossref“，”first page“：”94“，”doi“：”10.1016\/0890-5401（88）90034-X“，”article-title“：”Categories of partial maps“，”volume“：“79”，“author”：“Robinson”，“year”：“1988”，“journal-title”：“Information and Computation”}，{“key”：“10.1016//j.entc.2010.08.003_br 0150”，“doi-asser015”ted-by“：”crossref“，”doi“：”10.1016\/S1571-0661（04）80571-1“，”article-title“：”部分方程逻辑的分类“，”volume“：”69“，”author“：”Schr\u00f6der“，”year“：”2003“，”journal-title”：“理论计算机科学电子笔记”}，{“key”：“10.1016\/j.entcs.2010.003_br0160”，“series-title”：”滑轮的应用“，”首页“：”660“，”article-tlite“：”形式逻辑中的身份和存在”，“卷”：“753”，“作者”：“斯科特”，“年份”：“1979”}，{“密钥”：“10.1016\/j.entcs.2010.003_br0170”，“文章标题”：“术语重写系统”，“卷标”：“卷55”，“年”：“2003”}]，“容器标题”：[“理论计算机科学中的电子笔记”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000824？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000824？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“date-parts”：[[2018,12,8]]，“date-time“：”2018-12-08T07:24:58Z“，”timestamp“：1544253898000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066110000824“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2010,9]]}，‘references-count’：17，‘alternative-id’：[”S15710661100000824“}”4“]，”URL“：”http:\/\/dx.doi.org\/10.1016\/j.entcs.2010.08.003“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-661“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[2010,9]]}}}}