{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,11,22]]，“日期-时间”：“2023-11-22T22:52Z”，“时间戳”：1700691772859}，“参考-计数”：71，“出版商”：“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.9470696”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“On Generalized Metric Spaces for the Simply Typed Lambda-Calculus”]，“prefix”：“10.1109”，”author“[{”given“given”：”Paolo“，“family”：“Pistone”，“sequence”：“first”，“affiliation“：[]}]，“member”：“263”，“reference”：[{“key”：“ref71”，“doi-asserted-by”：“crossref”，“first-pages”：“2715”，“doi”：“10.3233\/IFS-151549”，“article-title”：“作为概率部分度量空间的分离？+值等价物”，“volume”：”28“，”author“：”yueli“，”year“2015”，“journal-title“：”journal of Intelligent and Fuzzy Systems“}，{”key“：”ref70“，”first-page“155”“”，“article-title”：“fuzzy部分度量空间中的形式球”，“volume”：“14”，“author”：“wu”，“year”：“2017”，“journal-title“：“Iranian journal of fuzzy Systems”}，{“key”：”ref39“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.fss.2012.05.005}，{“key”：“ref33”，“first page”：“391”，“author”：“esp？nola”，“year”：“2001”，“journal-title”：“超凸空间简介”}，{“key”：“ref32”，“article-title“：”PCF的度量模型“，”author“：”escard\u00f3“，”year“：”1999“，”journal-title“”：“可实现语义与应用研讨会”}、{“密钥”：“ref31”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（03）00392-X“}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，“doi”：“10.2168\/LMCS-7（2:16）2011”}，{“key”：”ref37“，”first page“：”35:1“，”article-title“：”高阶类型和近似程序转换的部分度量语义“，”author“：”geoffroy“，”year“：”2021“，”journal-title”：“Computer Science Logic 2021（CSL 2021）LIPIcs–Leibniz International Proceedings in Informatics第183卷“}，{“key”：“ref36”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3209108.3209149”}，“key“：”ref35“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/24229069.2429113“}，{“key”：“ref60”，“首页”：“513”，“article-title“：“类型、抽象和参数多态性”，“author”：“reynolds”，“year”：“1983”，“journal-title”：“Information Processing’71”}，{“key”：“ref62”，“作者”：“schweizer”，“年份”：“1983”，“日记标题”：“概率度量空间”}首页“：”65“，”article-title“：”建模计算：一个2分类框架“，”author“：”seely“，”year“：”1987“，”journal-title”：“计算机科学中逻辑研讨会论文集（LICS’87）”}，{“key”：“ref28”，“first-page”：“111:1”，“article-title”:“微分逻辑关系，第一部分：简单类型案例”，“author”：“lago”，”year:“”2019年”，“journal-title”：“第46届2019年ICALP语言与程序设计国际学术讨论会”}，{“key”：“ref64”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2025113.2025133”}作者“：”smyth“，”年份“：”1992“，”journal-title“：“计算机科学中的逻辑手册”}，{“key”：“ref66”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0019-9958（85）80001-2”}、{“key”：“ref29”，“doi-assertd-by”：“publisher”，“DI:”10.1109\/LICS.2019.8785715 2013.08.009“}，{“key”：“ref68”，“doi-asserted-by”：“publisher”，“DOI“：”10.1016\/S0304-3975（00）00403-5“}，{“key”：“ref69”，“article-title”：“近似程序转换的语义”，“author”：“westrook”，“year”：“2013”}，“key“：”ref2“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1007\/978-3-030-17184-1_19”}、{“key”：”ref1“，“DOI-assert-by”：“publisher”，/3110265“}，{”key“：”ref20“，”DOI-asserted-by“：”crossref“，”first page“：”32“，”DOI“：”10.1007\/978-3662-44584-6_4“，”article-title“：”广义双模拟度量“，”author“：”chatzikokolakis“，”year“：”2014“，”journal-title”：“CONCUR 2014-并发理论”}，{“key”：“ref22”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.topol.2005.01.38”}、{“key”：”ref21“，”DOI-as serted-by“：”publisher“，”DOI“：”10.1145\/3314221.3314603“}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2018.11.004”}，}“key”：”ref23“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/s10485-007-9104-5“}{“key”：“ref25”，“首页”：“393”，“文章标题”：“Faa di Bruno结构”，“volume“：”25“，”author“：”cockett“，”year“：”2011“，”journal-title“：”Categories的理论与应用“}，{“key”：“ref50”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF02924844”}，“key“：：“publisher”，“doi”：“10.1145\/1932681.1863568”}，{“key”：“ref58“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0037118“}，{”key“：”ref57“，”author“：”plotkin“，“year”：“1973”，”journal-title“：”？-可定义性和逻辑关系“}”，{“key”：“ref56”，“author”：“pistone”，“year:”2021doi断言由“：”crossref“，”first page“：”304“，”doi“：”10.1111\/j.1749-663.1996.tb49177.x“，”volume“：”806“，”author“：”partial metrics“，”year“：”1996“，”期刊标题“：”纽约科学院年鉴“}，{”key“：”ref54“，”doi断言由“：”publisher“，”doi“：”10.1016\/S1571-061（04）00031-3“}，{”key“：”ref53“，”doi断言由“：“发布者”，“doi”：“10.1016\/0304-3975（92）90182-F“}，{“key”：“ref52”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2933575.2934518”}，}“key:”ref10“，“article-title”：“Coalgebraic behavior metrics”，“volume”：”14“author”：“baldan”，“year”：“2018”，“journal-title“：”Log-Methods Compute Sci“}“：”publisher“，”doi“：”10.1145\/2103656.2103670“}，{”key“：”ref40“，”doi-asserted-by“：”crossref“，”author“：”hofmann“，”year“：”2014“，”journal-title“：”Monoid Topology a Categorical Approach to Order Metric and Topologies“，”doi“：”10.1017\/CBO9781107517288“}，”{“key”：“ref12”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/s10485-019-09572-y”}，{“密钥”：“ref13”，“首页”：“622”，“文章标题“：”笛卡尔微分范畴”，“卷”：“22”，“作者”：“blute”，“年份”：“2009年”，“期刊标题”：“范畴的理论和应用”}，{“关键”：“参考14”，“首页”：“17:1”，《文章标题》：“最新技术——通过纤维组织实现行为指标”，“数量”：“118”，”作者“：”bonchi“，”年份“：”2018年“，”期刊标题“：”第29届国际并发理论会议（CONCUR 2018）“}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2010.08.013”}，“key“：”ref16“，”doi-assert-by“：”publisher“，”doi“：”10.4169\/193009709X460831}，{“key”：“ref18”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/BFb0053546“}，{“key”：“ref19”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/266356.2594304”}，“key“：”ref4“，”DOI-assert-by“：”publisher 231-5_4“}，{“key”：“ref6”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/0304-3975（80）90045-6“}，{“key”：“ref5”，“首页”：“39”，“文章标题”：“差异隐私：关于效用和信息泄漏之间的权衡”，“author”：“alvim”，“year”：“2011”，“journal-title”：“第八届安全与信任正式方面国际会议论文集FAST–11”}publisher“，”DOI“：”10.1016\/0304-3975（94）00046-8“}，{“key”：“ref7”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/3009837.3009890”}，“key“：”ref49“，”首页“：”101“，”author“：”lago“，“year”：“2020”，“journal-title”：“”第21届意大利理论计算机科学会议论文集意大利伊斯基亚2020年9月14日至16日第2756卷CEUR研讨会论文集“}，{“key”：“ref9”，“first-page”：“403”，“article-title”：“通过仿函数提升的行为量度”，“author”：“baldan”，“year”：“2014”，“journal title”：第34届软件技术与理论计算机科学基础国际会议（FSTTCS 2014），莱布尼茨国际信息学论文集（LIPIcs）第29卷“}，{“key”：“ref46”，“article-title”：“广义度量空间.与图、有序集和自动机的关系：综述”，“author”：“kabil”，“year”：“2020”}ref45”，“doi断言者”：“publisher”，“doi”：“10.1145\/2775051.2676980”｝，｛“key”：“ref48”，“doi断言者”：“publisher”，“doi”：“10.1145\/30098737.3009877”｝，｛“key”：“ref47”，“author”：“krivine”，“year”：“1993”，“期刊标题”：“Lambda微积分类型和模型”｝，｛“key”：“ref42”，“first page”：“33”，“author”：“hohle”，“year”：“1992”，“期刊标题”：“积分交换CLMonoids“}上的M值集和滑轮”，{“key”：“ref41”，“first page”：”307“，“article-title”：“浓缩拓扑：部分度量的奇怪情况”，“volume”：：“4”，“author”：“hofmann”，“year”：“2018”，“journal-title“：”Cahiers de Topologie et Geom etrie DIff enterielle Categorique LIX“}，{”key“：”ref44“，“doi-asserted-by”：“”publisher“，”DOI“：”10.4995\/agt.2018.7849“}，{“key”：“ref43”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/S0304-3975（01）00241-9”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]]}，“end”：“：[[2021,7,2]]}}，”集装箱标签“：[”2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）“]，”original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.IEEE.org\/ielx7\/9470497\/9470501\/09470696.pdf？arnumber=9470696“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,5,10]]，“date-time“：”2022-05-10T15:46:22Z“，”timestamp“：1652197582000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/ieexplore.iee.org\/document\/9470696\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2021,6,29]]}，《参考计数》：71，“URL”:“http://\/dx.doi.org \/10.109 \/lics52264.2021.9470696“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2021,6,29]]}}}