{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,5,3]]，“日期时间”：“2024-05-03T17:11:48Z”，“时间戳”：1714756308277}，“引用-计数”：40，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2017,6]]}，“DOI”：“10.1109\/lics.2017.8005117”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2017,8,10]]，“date-time”：“2017-08-10T20:43:24Z”，“timestamp”：1502397804000}，“source”：”Crossref“，”is-referenced-by-count“：20，”title“：[”有效的应用双重相似性：单数、关系数和Howe的方法“]，”前缀“：”10.1109“，“author”：[{“given”：“Ugo Dal”，“家庭”：“拉戈”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Francesco”，“family”：“Gavazzo”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Paul Blain”，“家庭”：“Levy”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“263”，“引用”：[{“key”：”“ref39”，“作者”：“thijs”，”年份：“1996”，“日志标题“：”模拟和定点语义“}，{”key“：”ref38“，“author”：“schrijver”，“year”：“1986”，“journal-title”：“线性和整数规划理论”}，{“key”：“ref33”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511792588.006”}、{“key”：”ref32“，”first page“：”275“article-title“：”函数设置中的不确定性“，”author“：”luke ong“，”year“：”1993“，”journal-title“LICS 1993的“}，{”键“：“ref31”，“author”：“morris”，“year”：“1969”，“journal-title”：“编程语言的Lambda演算模型”}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1989.39155”}“，”doi“：”10.1016\/S0304-3975（00）00056-6“}，{“key”：“ref35”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-45931-6_24”}“，”日志标题“：“POPL 2014 Proc”}，{“key”：“ref40”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2004.10.021”}：“ref13”，“author”：“davey”，“year”：“1990”，“journal-title”：“格与序简介”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1995.1145”}、{“密钥”：“ref15”、“doi-sserted-by“：”publisher“，”doi“：”10.1145\/321992.321997“，”首页“：”78“，”文章标题“：“联合归纳法和函数编程教程”，“author”：“gordon”，“year”：“1994”，“journal-title”：“Workshops in Computing”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S096012908007172”}“：”publisher“，”doi“：“10.1016\/S0890-5401（03）00088-9”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0060439”}（08）71818-4“，“article-title”：“lambda演算：其语法和语义”，“作者”：“barendregt”，“year”：“1984”，“journal-title”：“逻辑学和数学基础研究”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3662-46678-0_18”}出版商“，”内政部“：“10.1145\/1599410.1599447”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-54833-8_12”}{“key”：“ref9”，“author”：“lago”，“year”：“2017”，“journal-title”：“有效的应用双相似性单子关系函数和Howe方法（长版）”}，{“key”：“ref1”，“first page”：”65“，“article-title”：“The lazy lambda calculus”，“author”：“abramsky”，“year”：“1990”，“journal-title“：“Research Topics in Functional Programming”}，“首页”：“145”，“作者”：“katsumeta”，“年份”：“2013”，“新闻标题”：“单数和同义词模拟的预购”}，{“key”：“ref21”，“author”：“jones”，“year”：“1990”，“journal-title”：“概率非决定论”}，“journal-title”：“语义的高阶操作技术”}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2011.09.023”}：“关于函数和非决定论的关系推理”}]，“事件”：{“名称”：“2017年第32届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“地点”：“冰岛雷克雅未克”，“开始”：{-“日期部分”：[[2017,6,20]]}，“结束”：{--“日期部分（date-parts）”：[2017,6,23]}}}，”container-title“：[”2017年第三十二届ACM\/IEEE计算科学逻辑研讨会]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/7999337\/08005055\/08005117.pdf？arnumber=8005117”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,10,2]，“date-time”：”2019-10-02T07:38Z“，”时间戳“：1570001916000}，”分数“：1，”资源“用法：{“primary”:{“URL”：“http://\/ieeexplore.iee.org\/document\/8005117\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2017,6]]}，”references-count“：40，”URL“：”http://\/dx.doi.org\/10.109\/lics.2017.8005117“，”relationship“：{}，“：[[2017,6]]}}}”