{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T08:49:13Z”，“时间戳”：1725612553986}，“引用-计数”：18，“发布者”：“IEEE Compute.Sco.Press”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]，“内政部”：“10.1109\/lics.1991.151641”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T14:53:10Z”，“timestamp”：1039531990000}，“page”：”162-172“，“source”：：“Crossref”，“is-referenced-by-count”：11，“title”：[“论Martin-Lof类型理论中的计算开放性”]，“前缀”：”10.1109“，“author”：[{“给定”：“D.J.”，“家庭”：“Howe”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“journal-title”：“Implementation Mathematics with the Nuprl Proof Development System”，“year”：“1986”，“author”：“constable”，“key”：“ref10”}，{“日记标题”：“BRA逻辑框架研讨会论文集”，“article-title“：“Martin-L\uffdf类型理论中的归纳集和族及其集合理论语义”，“年份”：“1990”，“作者”：“dybjer”，“key”：“ref11”}，{“key“：”ref12“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0062852“}，”{“key”：：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1989.39174”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0039592”}：“1982”，“新闻标题”：“第六届国际逻辑方法论和科学哲学大会”}，{“journal-title”：“操作语义学的结构方法”，“year”：“1981”，“author”：“plotkin”，“key”：“ref17”}：“Martin-L\uffdf类型理论和应用的一些规范化性质”，“年份”：“0”，“作者”：“basin”，“key”：“ref4”}，{“journal-title”：“类型理论语言的非类型理论语义”，“年”：“1987”，“author”：“allen”，“密钥”：“ref3”}，{“键”：“参考5”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-68952-9”}，{“key”：“ref8”，“doi-asserted-by”：”publisher“，”doi“：”10.1016\/0890-5401（90）90064-O“}，“journal-title”：“Constructive Analysis的基础”，“year”：“1967”，“author”：“bishop”，“key“：”ref7文章标题“：“Martin-L\uffdf类型的非类型理论定义”，“author”：“allen”，“year”：“1987”，“journal-title”：“第二届计算机科学逻辑年度研讨会论文集”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1993.1044”}：“ref9”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“Amsterdam，Netherlands”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Computer Science Logic Symposium”]，“original-title“：[]，”link“：[{“URL”：“http://\explorestaging.iee.org\/ielx2\/360\/3979\/00151641.pdf？arnumber=151641”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2017,6,15]，“日期-时间”：“2017-06-15T11:41:45Z”，“时间戳”：1497526905000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/ieexplore.ieee.org/document\/151641\/”}｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[null]]}，“references-count”：18，“URL”：“http://\/dx.doi.org\/10.109\/lics.1991.151641”，“relation”：{}，”subject“：[]}}”