{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,4]]，“日期时间”：“2024-04-04T07:49:02Z”，“时间戳”：1712216942220}，“引用-计数”：19，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2017,6]]}，“DOI”：“10.1109\/lics.2017.8005103”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2017,8,10]]，“date-time”：“2017-08-10T20:43:24Z”，“timestamp”：1502397804000}，“source”：”Crossref“，”is-referenced-by-count“：5，”title“：[”无限交集类型作为序列：Klop问题的新答案“]，”前缀“：”10.1109“，“author”：[{“给定”：“Pierre”，“家庭”：“小瓶”，“序列”：“第一个”，“从属关系”：[]}]，“成员”：“263”，“引用”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（96）00171-5”}，{“密钥”：“ref11”，“文章标题”：“Lambda-calculus，types and models”，“author”：“krivine”，“年份”：“1993”，“日志标题”：《计算机中的Ellis-Horwood系列》及其应用程序“}，{”key“：“ref12”，“first page”：“231”，“article-title”：“böhm-trees的一种理论视图”，“author”：“kurata”，“year”：“0”}，{“key”：”ref13“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.2012.57“}，”{“密钥”：“ref14”，“首页”：“280”，“article-titel”：“af2系统中的数据类型、无限和平等”，“author”，“年份”：“0”}，{“键”：“参考15”，“doi-asserted-by”：“publisher”，“doi”：“10.7146\/brics.v8i15.20472”}，{“key”：“ref16”，“first page”：《195》，“article-title”：“遗传头部规范化术语的类型。在函数和逻辑编程中”，“author”：“tatsuta”，“year”：“0”}、{“key”：”ref17“doi-sserted-by“：”publisher“，”doi“：”10.1016\/0304-975（95）00073-6“}，{“key”：“ref18”，“author”：“vial”，“年”：“2016”，“期刊标题”：“共导交集类型完全不健全”}，{“键”：“ref19”，“作者”：“小瓶”，“年”：“2016”，“期刊标题”：“序列交集类型系统在多集交集类型上的崩溃是满射的”}，{“键”：“ref4”，“文章标题”：“通过交集类型和记忆进行强归一化”，“author”：“bucciarelli”，“year”：“2015”，“journal-title”：“第十届应用程序逻辑和语义框架（LSFA）ENTCS国际研讨会论文集”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3662-44602-7_26”}{“key”：“ref5”，“author”：“de carvalho”，“year”：“2007”，“journal-title”：“Semostive de la logique lineaire et temps de calcul”}，{“key”：“ref8”，“first page”：《143》，“article-title》：“无限重写和等式推理的共创框架”，“author”：“endrullis”，“year”：}，{“键”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2015.12.024”}，{“key”：“ref1”，“author”：“barendregt”，“year”：“1985”，“journal-title”：“Lambda-Calculus Its Syntax and Sematics ElIis Horwood series in computers and their applications”}]，“事件”：{“名称”：“2017年第32届ACM\/IEEE计算机科学逻辑年度研讨会（LICS）”，“地点”：“冰岛雷克雅未克”，“开始”：{“日期部分”：[[2017,6,20]]｝，“结束”：{“日期部分”：[[2017,6,23]]]｝，“容器标题”：[“2017年第32届ACM\/IEEE计算机科学逻辑年度研讨会（LICS）”]，“原标题”：[]，“链接”：[[“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/7999337\/800505103.pdf？arnumber=8005103”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,12,13]]，“date-time”：”2017-12-13T20:38:15Z“timestamp”：1513197495000}，“score”：1，“resource”：{“主要”：{“URL”：“http://\/ieeexplore.iee.org\/document\/8005103\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2017,6]]}，”引用计数“：19，”URL“：”http://\/dx.doi.org\/10.109\/lics.2017.8005103“，”关系“：{}”，“主题”：[]]，“发布”：}“日期/部件”：[2017,6]]}}}