{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T01:29:04Z”，“时间戳”：1725413344842}，“引用计数”：21，“发布者”：“IEEE Compute.Soc”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DO”I“：”10.1109\/lics.1999.782598“，“type”：“procesdings-article”，“created”：{“date-parts”：[2003,1,20]]，“date-time”：“2003-01-20T17:29:30Z”，“timestamp”：1043083770000}，“page”：”109-118“，”source“：”Crossref“，”is-referenced-by-count“：3，”title“：[“交集类型的某些计算属性”]，“prefix”：“10.1109”，“volume”:“19”，“author”：[{“给定”：“A.”，“family”：“Bucciarelli”，“序列”：“first”，“affiliation”：[]}，{“given”：“S.”，“family”：“De Lorenzis”，“sequence”：“additional”，“filiation“：[]{”given“：”A.“，”family“：”Piperno“，”sequence“：”additional“，”affiliance“：[]}，”givent“：”I.“，”家族“：”Salvo“，“se序列”：“additional”、“affidiation”：[]}]，“member”：“263”，“reference”：[{“journal-title”：“”“强正常化证明”，“年份”：“1980年”，“author”：“gandy”，“key”：“ref10”}，{“year”：“0”，“key”：“ref11”}orie des types“，”author“：”girard“，”year“：“1971”，“journal-title”：“Proc 2nd Scand Logic Symps”}，{“journal-title“：“组合逻辑Lambda演算和形式主义论文”，“year”：“1980”，“author”：“curry”，“key”：“ref13”}、{“key“：”ref14“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.1995.523266“}，”{“密钥”：“ref15”，“doi-assert-by”：“publisher”，”doi:“10.1109”007\/10703163_18“}，{”键“：”参考16“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/91556.91675”}，{“key”：“ref17”，“doo-asserted-by”：”publisher“，”doi“：”10.1016\/0304-3975（93）90092-8“}，“key“：”ref18“，”首页“：”408“，”article-title“：”Toward a theory of type structures“，”volume“：“19”，“author”：“reynolds”，“year”：“1974”，“journal-title“：”会议程序“}，{”key“：”ref19“，”doi-asserted-by“：“publisher”，“DOI”：“10.1016\/0304-3975（79）90007-0”}，{“volume”：“ii”，“journal-title”：“计算机科学逻辑手册”，“year”：“1991”，“author”：“barendregt”，“key”：”ref4“}，}“journal-title“：”Lambda Calculus Its Syntax and Semantics“，”year“：”1984“，”author“：”barendreg“，”key“：”ref3“}”，{”key：“ref6”，“DOI-aser”ted-by“：”publisher“，”DOI“：“10.1305\/ndjfl\/109883253”｝，｛“key”：“ref5”，“doi断言者”：“publisher”，“doi”：“10.2307\/2273659”｝，｛“key”：“ref8”，“doi断言者”：“publisher”，“doi”：“10.1073\/pnas.20.11.584”｝，｛“key”：“ref7”，“doi断言者”：“publisher”，“doi”：“10.1002\/malq.19810270205”｝，｛“期刊标题”：“Lambda微积分中的交叉类型学科和应用术语重写系统”，“年份”：“1993”，“作者”：“van bakel”，“key”：“ref2”｝，｛“key”：“ref1”，“doi由”：“publisher”断言，“doi”：“10.1016\/00304-3975（92）90297-S”｝，｛“key”：“ref9”，“doi由”：“publisher”断言，“doi”：“10.1145\/322358.32370”｝，｛“key”：“ref20”，“doi由”断言交叉引用“，“首页”：“198”，“DOI”：“10.2307\/2271658”，“文章标题”：“有限类型I泛函的内涵解释”，“卷”：“32”，“作者”：“tait”，“年份”：“1967”，“期刊标题”：《符号逻辑》}，{“键”：“ref21”，“DOI-asserted-by”：“publisher”，”DOI“：”10.1016\/0168-0072（91）90019-I“}]，“事件”：{“名称”：“Proceedings.14th Symposium on Logic in Computer Science”，“缩写”：“LICS-99”，“location”：“Trento，Italy”}，“container-title”：[“Proceements.14st Symposition on Logic on Computer Science（Cat.No.PR00158）”]，“original-title“：[]，”link“：[{“URL”：“http://\explorestaging.iee.org\/ielx5\/6352\/16964\/00782598.pdf？arnumber=782598”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,15]]，“date-time”：“2017-06-15T17:25:31Z”，“timestamp”：1497547531000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/782598\/”}，”subtittle“：[]，”short标题“：[]，”已发布“：{“日期部分”：[[null]]}，“references-count”：21，“URL”：“http://\/dx.doi.org\/10.109\/lics.1999.782598”，“关系”：{}，“主题”：[]}}