{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T03:15:00Z”，“时间戳”：1725678900247}，“引用计数”：35，“发布者”：“IEEE Compute.Soc”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DOI“：”10.1109\/lics.2001.932488“，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,11,13]]，“date-time”：“2002-11-13T11:02:21Z”，“timestamp”：1037185341000}，“page”：”115-125“，“source”：《Crossref》，“is-referenced-by-count”：8，“title”：[“封闭欧几里德区间的通用表征”]，“prefix”：“10.1109”，“volume”：：“埃斯卡多”、“sequence”：“first”，“affiliation”：[]}，{“given”：“A.K.”，“family”：“Simpson”，“sequences”：“additional”，“abfiliation“：[]{”，“member”：“263”，“reference”：[{”key“：”ref33“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/12.57047“}，“key”：”ref32“，”first page“544”，“article-title”：“On computable numbers，with A application to the Entscheindung问题“，”卷“：“43”，“author”：“turing”，“year”：“1936”，“journal-title”：“Proceedings of the London Mathematical Society 42 230–265 1936”}，{“article-title“：“Practical foundations of mathemathematics”，“年份”：“1999”，“作者”：“taylor”，“key”：“ref31”}：“ref35”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（80由“：”publisher“，”doi“：”10.1016\/S0304-3975（98）00099-1“}插入，{”journal-title“：“Public communications to the categories邮件列表”，“年份”：“1999”，“作者”：“freyd”，“key”：“ref12”}，{“密钥”：“ref13”，“doi-asserted-by”：“publisher”，”doi“：“10.1007”，BFb0017479”}标题“：“Nederl Akad Wetensch Indag Math”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/9781-4471-0963-1”}，{“article-title”：“Stone Spaces”，“year”：“1982”，“author”：“johnstone”，“key”：“ref18”}，{“journal-title”：“计算机科学基础实验室”，“article-title“：”概率不确定性“，”年份“：”1990“，”作者“：”琼斯“，”key“：”ref19“}，”{“article-title（文章标题）：“工作程序员的ML”，“year”：“1991”，“author”：“paulson”，“key”：“ref28”}10.1145\/960114.29673英寸}，{“journal-title”：“第65届舍瓦与逻辑游历研讨会”，“article-title“：“dcpo的Tarski不动点定理的构造性证明”，“year”：“1997”，“author”：“pataria”，“key”：“ref27”}，{《article-title》：“构造分析”，“年份”：“1985”，“作者”：“bishop”，“密钥”：“ref3”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3642-61667-9”}、，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/319838.319860”}，{“key”：”ref29“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/S1571-0661（05）80272-5“}，“key“：”ref5“，”首页“：”43“，”article-title“：”精确实数：将实数公式化为函数“，”author“：”boehm“，“year”：“1990”，“新闻标题”：“函数编程研究课题”}，{“journal-title”：“技术报告TD 6\/93”，“article-title“：“实数可计算性的函数方法”，“year”：“1993”，“author”：“di gianantonio”，“key”：“ref8”}、{“article-title（文章标题）：“类型的类别”，“年份”：“93”，“作者”：“crole”，“密钥”：“ref7”}，“年”：“1997”，“作者”：“bird”，“key”：“ref2”}，{“键”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S1571-0661（05）80305-6”}第“：”439“，”doi“：”10.1215\/S0012-7094-70-03755-5“，“article-title”：“取消中间手段是算术”，“volume”：“37”，“author”：“kermit”，“year”：“1970”，“journal-title“：”Duke Math J“}，{“key”：”ref22“，”doi-asserted-by“：”publisher“，”doi“：”10.1073\/pnas.52.6.1506“}”，{{“新闻标题”：“Topos理论的第一次介绍”，“article-title”：“几何和逻辑中的Sheeves”，“year”：“1994”，“author”：“mac lane”，“key”：“ref24”}，{“article-title“：“Working Mathematician的类别”，“年”：“1971”，”author“：”mac lane“，”key“：”ref23“}，”{“key：”ref26“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0168-0072（00）00012-9“}，{“文章标题”：“直觉主义类型理论”，“年份”：“1984年”，“作者”：“martin-l\u00f6f”，“key”：“ref25”}]，“event”：{“name”：“第16届IEEE计算机科学逻辑年会”，“缩写词”：“LICS-01”，“location”：“Boston，MA，USA”}，“container-title”：[“第16次IEEE计算机学逻辑年会论文集”]，“original-tittle”：[]，“link”：[{“URL”：“http://explorestaging.ieee.org/ielx5\/77424\/20180\/00932488.pdf？arnumber=9324488”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2017,6,15]，“日期时间”：“2017-06-15T10:55:35Z”，“时间戳”：1497524135000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/ieeexplore.iee.org\/document\/932488\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[null]]}，”引用计数“：35，”URL“：”http://\/dx.doi.org\/10.109\/lics.2001.932488“，”关系“：{}，‘主题’：[]}