{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,5,10]]，“日期-时间”：“2022-05-10T16:26:22Z”，“时间戳”：1652199982029}，“引用-计数”：32，“发布者”：“IEEE”，“许可证”：[{“开始”：{“日期-部分”：[2021,6,29]]，”日期-时间“：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“vor”，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/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.9470613”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“Higher Lenses”]，“prefix”：“10.1109”，”author“：[{”given“Paolo”，“family”：“Capriotti”，“sequence”：“first”，“affiliation”：[]}，{”给定“：”尼尔斯·安德斯“，”家庭“：”丹尼尔森“、“sequence”：“additional”，“affiliation”：[]}，{“given”：“Andrea”，“family”：“Vezzosi”，“sequences”：“附加”，“从属关系”：[]}]，“member”：“263”，“reference”：[{“key”：，“article-title“：”破碎的透镜“，”author“：”grenrus“，”year“：”2020“，”journal-title”：“第八届数学结构函数编程研讨会（MSFP 2020）的扩展摘要”}，{“key”：“ref30”，“first page”：”1“，”article-title“:”更新结构之旅：访问透镜和量子外壳“，”author“:”wilson“，”year“：“2021”，“期刊标题“：“2020年第三届国际应用范畴理论年会论文集”}，{“key”：“ref10”，“doi断言”：“publisher”，“doi”：“10.1145\/3209108.3209189”}，{“key”：“ref11”，“文章标题”：“依存透镜”，“作者”：“danielsson”，“年份”：“2016”，“期刊标题”：“未发表”}，{“key”：“ref12”，“首页”：“1”，“文章标题”：“？n（Sn）in homotopy type theory”，“author”：“licata”，“year”：“2013”，“journal-title”：“CPP 2013第三届国际会议认证程序和证明”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，”doi“：“10.1145”，2854065.2854076“}，”{“密钥”：“ref14”，“首页”：“729”，“文章标题”：“代数和更新策略”，“卷”：“16”，“作者”：“johnson”，“年：“2010”，“期刊标题”：“通用计算机科学杂志”}，{“key”：“ref15”，“article-title”：“透镜和视图更新翻译”，“author”：“皮尔斯”，“year”：“2003”}、{“key”：”ref16“，“首页”：“1”，“article-title”：“Martin-Löf类型理论中匿名存在的概念”，“volume”：计算机科学中的逻辑方法“}，{“key”：“ref17”，“article-title”：“并非每个弱常量函数都是条件常量”，“author”：“shulman”，“year”：“2015”，“journal-title“：”Blog Post“}”，{”key“：”ref18“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2603088.2603153“}命题截断的一般普适性”，“author”：“kraus”，“year”：“2015”，“journal-title”：“第20届国际证明和程序类型会议Types’14”}，{“key”：“ref28”，“doi-asserted-by”：“publisher”，“doi”：“10.4204\/EPTCS.323.13”}同伦类型理论数学单叶基础“}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2014.10.003”}，“key“：”ref3“，”doi-assert-by“：”publisher“，”doi“：”10.22152\/programming-journal.org\/2017\/1\/7“}丹尼尔森“，”年份“：”2021“}，{”key“：”ref29“，”article-title“：”语义概念的类别“，”author“：”hefford“，”year“：”2020“，”journal-title”：“NLP物理与认知科学交叉处的语义空间”}，“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3341691”}、{”key“：“ref8”，“article-title”:“同构透镜”，“author”：“van laarhoven”，”年：“2011”，“新闻标题”：“博客帖子”}，{“key”：“ref7”，“article-title”：“基于CPS的功能性引用”，“author”：“van laarhoven”，“year”：“2009”，“journal-title“：博客帖子：“10.1007\/978-3-319-30936-1_12”}，{“键”：“参考1”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/10403051040325“}，{“key”：”ref20“，”doi-assert-by“:”publishers“，”doi“：“10.1145\/2933575.2933586”}，}“keys”：“ref22”，“first page”：“17”，“article-title”：“同伦类型理论中的未发现树”，“author”：“ahrens”，“year”：“2015”，“journal-title“：”第13届类型Lambda微积分与应用国际会议TLCA'15“｝，｛“key”：“ref21”，“文章标题”：“连接结构”，“author”：“rijke”，“year”：“2017”｝，｛“key”：“ref24”，“文章标题”：“Lens:Lenses，folds，and traversals”，“author”：“kmett”，“year”：“2020”｝，｛“key”：“ref23”，“doi asserted by”：“publisher”，“doi”：“10.1145\/24209069.2429075”｝，{“key”：“ref26”，“article-title”：“Functor is to lens as applicative is to biplate:Introducing multiplate”，“author”：“o\u2019connor”，“year”：“2011”}，{”key“：”ref25“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/S095679809007291“}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[[2021,6,29]]}，“end”：{“date-parts”：[[2021,7,2]}}，”container-title“：[“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\xplorestaging.IEEE.org\/ielx7\/947097097\/9470501\/09470613.pdf？arnumber=9470613”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[2022,5,10]]，“日期-时间”：“2022-05-10T15:46:21Z”，“时间戳”：1652197581000}，“分数”：1，“资源”：{primary“：{”URL“：”https:\/\/ieeexplore.ieee.org\/document\/9470613\/“}”，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[2021,6,29]]}，“references-count”：32，“URL”：“http://\/dx.doi.org\/10.109\/lics52264.2021.9470613”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2021,6,29]]}}}