{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,1,9]]，“日期-时间”：“2024-01-09T20:48:38Z”，“时间戳”：1704833318196}，“参考-计数”：41，“出版商”：“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]]，“日期-时间”：“2021-06-29T00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-037”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2021,6,29]]｝，“doi”：“10.1109\/lics52242.021.94700664”，类型“：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“带公式不动点的线性逻辑分类模型”]，“prefix”：“10.1109”，”author“：[{”given“：”Thomas“，“family”：“Ehrhard”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Farzad”，“family”：“Jafarrahmani”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：”ref39“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/10703163_20“}，{“密钥”：”ref38“，”doi-asserted-by“”：“publisher”，“doi”：“10.1016\/0168-0072（91）90069-X”}，“”key“：”ref33“，”doi-asserted-by“：”publisher“，”doi“：“10.1017\/S0960129597002375”}，{“key”：“ref32”，“doi-asserted-by”：“publisher”，“doi”：“10.10.16\/j.entcs.2008.05.029”}）00055-9“}，{“key”：“ref37”，“doi-asserted-by”：“crossref”，“first-page”：“13”，“doi”：“10.1016\/0304-3975（79）90053-7”，“article-title”：“有序丰富类别中的定点结构”，“volume”：“8”，“author”：“wand”，“year”：“1979”，“journal-title“：”理论计算机科学“}，{“key”：”ref36“，”doi-asserted-by“：”publisher“内政部”：“10.1016\/S0304-3975（96）00169-7”}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1989.39155”}“294”，“作者”：“海兰德”，“年份”：“2003”，“新闻标题”：“理论计算机科学”}，{“key”：“ref40”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10990-006-0480-6”}“：”ref13“，”doi-asserted-by“：”publisher“，”doi“：“10.1016\/S0168-0072（00）00056-7”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.12017\/S0960129510000320”}、{“key”：”ref15“，“article-title”：“关于不动点逻辑的无穷证明理论”，“author”：“doumane”，“year”：“2017”，“journal-title“：”Ph D Dissertation“}”，{”key“：”ref16“，”doi-assert-by“：”publisher“，”doi“：“10.1093\/logcom\/exq052”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.jal.2012.07.007”}232“，”author“：”mcdowell“，”year“：”2000“，“journal-title”：“Theoryal Computer Science”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/logcom\/exaa004”}{“key”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0055070”}，{“key”：“ref3”，“article-title”：“线性逻辑中的不动点定理”，“author”：“girard”，“year”：“1992”}：“publisher”，“doi”：“10.1051\/ita\/2012028”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2951913.2951921”}，{”key“：”ref8“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/j.apal.2012.01.004“}，”{“密钥”：“ref7”，“文章标题”：“线性逻辑的范畴语义”，“卷”：“27”，“作者”：“melli\u00e8s”，“年份”：“2009”，“journal-title“：”Panoramas et Synthèses“}，{”key“：”ref2“，”author“：“girard”，“year”：“1989”，“journal-title”：“Proofs and Types”}，{“key”：“ref9”，“first-pages”：“41:1”，“article-title“：“The Relational Model Is Injective for Multiplicative Exponential Linear Logic”，“volume”:“62”，“author”：“de carvalho”，《年份》：“0”}4“}，{”键“：”参考20“，“doi断言者”：“publisher”，“doi”：“10.1007\\3-540-45931-6_25”}，{“key”：“ref22”，“doi断言者”：“publisher”，“doi”：“10.1016\\S0168-0072（96）00021-8”}，{“key”：“ref21”，“首页”：“248”，“文章标题”：“循环证明的剪切：语义和剪切消除”，“volume”：“23”，“author”：“fortier”，“year”：“0”}，{“key”：“ref24”，“doi由”：“publisher断言”，“DOI”：“10.1016\/j.apal.2011.09.008”}，{“key”：“ref41”，“DOI-asserted-by”：“publisher”，“DOI:”10.1007\/978-3662-49498-1_9“}”，{”key“：”ref23“，”article-title“：”带迭代和递归的归纳和共推类型“，”author“：”geuvers“，”year“：”1992“，”journal-title”：“Tech Rep”}、{“key”：”ref26“，”DOI-as serted-by“：”publisher“，”DOI“：”10.1007\/BFb0037116“}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-58085-9_72”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”:{“date-parts”：[2021,6,29]]}，“end”：{“date-ports”：[2021,7,2]}}}，”container-title“：[“2021年第36届ACM\/IEEE计算机科学逻辑年度研讨会（LICS）”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/exploresting.iee.org/ielx7\/9470497\/9470501\/094470664.pdf？arnumber=94700664”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期部分”：[[2022,10]]，“date-time”：“2022-05-10T15:46:21Z”，“timestamp”：1652197581000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470664\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]}，‘references-count’：41，”URL“：”http://\/dx.doi.org \/10.109 \/lics52264.2021.9470664“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,29]]}}