{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,29]]，“日期-时间”：“2024-05-29T04:33Z”，“时间戳”：1716957033817}，“参考-计数”：24，“出版商”：“IEEE”，“许可证”：[{“开始”：}“日期-部分”：[2021,6,29]，“时间”：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1 5223\/policy-029“}，{“开始”：{“日期部分”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470549”，“类型”：“议事录文章”，“已创建”：｛“日期部分”：[[2021,7,7]，“日期-时间”：“2021-07-07T20:14:07Z”，“时间戳”：1625688847000｝，“来源”：“Crossref”，“被计数引用”：1，“标题”：[“具有建设性现实的全球乐观主义”]，“前缀”：“10.1109”，“作者”：[｛“给定”：“Dan R.”，“家族”：“Ghica”，“序列”：“第一”，“隶属关系”：[]｝，｛“给定”：“Todd Waugh”，“family”：“Ambridge”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“article-title”：“Codistance”，“author”：“escard\u00f3”，”year“2020”}，{“key”：”ref11“，”article-title“：”CountableTychonoff“，”author“：”escard_00f2“，”“year”：“2011”}“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2001.932488”}，{“key”：“ref13”，“article-title”：“单叶型理论分析”，“author”：“booij”，“year”：“2020”，“journal-title“：”博士学位论文“}，{”key“：”ref14“，”first page“：“518”，“article-titel”：“实数可计算性的函数方法”，“volume”：”50“author:”di gianatonio“，”“year“：”1993“，”journal-title“：“BULLETIN-European Association for Theory Computer Science”}，{“key”：“ref15”，“article-title”：“Haskell中实数计算，实数表示为无限数字序列”，“author”：“escard\u00f3”，“year”：“2011”}：“publisher”，“DOI”：“10.1017\/S0962492904000194”}，{“key”：“ref18”，“article-title”：“梯度下降优化算法概述”，“author”：“ruder”，“year”：“2016”}：“单叶数学中紧凑、完全分离和有序的类型”，“author”：“escard\u00f3”，“year”：“2019”，“journal-title”：“types”}，{“key”：“ref3”，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.2007.25“}，”{“密钥”：“ref6”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/2911981”}by“：”publisher“，”doi“：“10.1006\/jath.2000.3508”}，{“key”：“ref8”，“year”：“2013”，“journal-title”：“同伦类型理论数学单价基础”}BF00171829“}，{“键”：“参考1”，“doi断言者”：“publisher”，“doi”：“10.1016/0041-5553（72）90115-2”}，｛“key”：“ref9”，“文章标题”：“TypeTopology。用Agda写成的单价数学中的各种新定理”，“author”：“escard\u00f3”，“year”：“2010”｝，｛“key”：“ref20”，“文章标题”：“区间分析”，“author”：“moore”，“year”：“1959”，“journal title”：“Space Division Report LMSD285875”｝，{“key”：“ref22”，“article-title”：“构建真正的智能机器，教会它们因果关系”，“author”：“pearl”，“year”：“2018”，“journal-title“：”Quanta Magazine“}，{”key“：”ref21“，”doi-asserted-by“：”publisher“，”doi“：”10.1007 \/BF01933121“}、{“key”：”ref24“”，“doi-assert-by”：“publisher”，“doi”：“10.2168 \/LMCS-4（3:3）2008”}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“DOI”：“10.23919\/ACC.2017.7963430”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”:{“date-parts”：[[2021,6,29]]}，“end”：{“date-parts”：[2021,7,2]}}，“原始标题”用法：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470549.pdf？arnumber=9470549”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[2022,5,10]]，“日期时间”：“2022-05-10T15:46:21Z”，“时间戳”：1652197581000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470549\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2021,6,29]]}，”引用计数“：24，”URL“：”http://\/dx.doi.org\/10.1009\/lics52264.2021.9470549“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期部分“：[2021,6,29]”6,29]]}}}