{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,10]]，“日期时间”：“2024-04-10T15:10:06Z”，“时间戳”：1712761806838}，“引用-计数”：14，“发布者”：“开放发布协会”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.155.9”，“type”：“journal-article”，“created”：{“date-parts”：[[2014,6,12]，“date-time”：“2014-06-12T19:15:32Z”，“timestamp”：140260053200}，“page”：”61-71“source”：前缀“：”10.4204“，”卷“：”155“，”作者“：[{“given”：“Mariancola”，“family”：“Dezani-Ciancaglini”，“sequence”：“first”，“affiliation”：[{name”：“Universita’di Torino”}]}[{“name”：“新萨都大学”}]}]，“member”：“2720”，“published-online”：{“date-parts”：[[2014,6,12]]}，“reference”：[{“key”：“AR12”，“series-title”：“LNCS 7705”，“doi-asserted-by”：“publisher”，“first page”：”207“，”doi“：”10.1007\/978-3642-35182-2_15“，”article-title“：“消息传递程序的动态软件更新”，“volume-title”：”APLAS'12“，”author“Gabrielle”安德森”，“年份”：“2012”}，{“issue”：“4”，“key”：“BDPZ12”，“doi-asserted-by”：“publisher”，“doi”：“10.2168\/LMCS-8（4:13）2012”，“article-title”：“Adaptable Processes”，“volume”：《8》，“author”：“Mario Bravetti”，“year”：“2012”，《journal-title》：“Comper Science中的逻辑方法”}，{，“首页”：“240”，“doi”：“10.1007\/978-3642-28872-2”，“article-title”：“适应的概念框架”，“volume-title“：”FASE'12“，”volume“：”7212“，“author”：“Roberto Bruni”，“year”：“2012”}，{“key”：“CP10”，“series-title”：”LNCS“，”doi-asserted-by“：”publisher“，”first-page“：”222“，”doi“：”10.1007\/778-3642-15375-4_16“，”article-title“：“会话类型作为直觉主义线性命题”，“volume-title”：“CONCUR'10”，“卷”：“6269”，“作者”：“Lu\u00eds Caires”，“年份”：“2010”}，{“问题”：“5”，“关键”：“CastagnaGesbertPadovani09”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1538917.1538920”朱塞佩·卡斯塔尼亚“，“year”：“2009”，“journal-title”：“ACM Transactions on Programming Languages and Systems”}，{“key”：“CDMZ13”，“article-title“：“Intersection and Union Types的同构”，“author”：“Mario Coppo”，“year:”2014“，”journal-title“:”Mathematical Structures in Computer Science“}：“10.1109\/PPDP.2014.18”，“article-title”：“多方会话的自适应监视器”，“volume-title“：”PDP'14“，“author”：“Mario Coppo”，“year”：“2014”}，{“issue”：“4”，“key”：“DDGT10”，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1145\/1805950.1805955”，“article-titel”：“On Ismorphism of Intersection Types”，“volume”：“11”，“作者”：“Mariangiola Dezani-Ciancaglini”，“年份”：“2010年”，“journal-title”：“ACM计算逻辑事务”}，{“key”：“DiCosmo95”，“doi-asserted-by”：“publisher”，”volume-title“：“类型同构：从Lambda-Calculus到信息检索和语言设计”，“author”：“Roberto Di Cosmo”，“year”：“1995”，“doi”：“10.1017\/S09019504871”}、{“key”：“DP13”，“doi-asserted-by”：“publisher”，“first page”：“1913”，“doi”：“10.1145\/2480362.2480716”，“article-title”：“运行时自适应一致的结构化通信”，“volume-title“：”SAC'13“，“author”：“Cinzia Di Giusto”，“year”：“2013”}，{“key”：”apal:06“，”doi-assert-by“：”publisher“，“first-page”：“35”，“Di:”10.1016 \/j.apal.2005.09.001“，“文章标题”：“关于空和和类型的类型Lambda微积分中同构的注释”，“卷”：“141”，“作者”：“Marcelo Fiore”，“年份”：“2006”，“期刊标题”：“纯粹与应用逻辑年鉴”}，{“密钥”：“Padovani10”，“doi断言者”：“出版商”，“首页”：“3328”，“doi”：“10.1016\/j.tcs.2010.05.0002”，“文章标题”：“基于合同的Web服务模块发现简单管弦乐队”，“卷”：“411”，“作者”：“卢卡·帕多瓦尼”，“年份”：“2010”，“期刊标题”：“理论计算机科学”}，{“键”：“PCPT12”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“首页”：“539”，“doi”：“10.1007\/978-3642-28869-2_27”，“article-title”：“基于会话并发的线性逻辑关系”，“volume-title”：“ESOP’12”，“volume”：“7211”，“author”：“Jorge A.P\u00e9rez”，“year”：“2012”}，{“key”：”W12“，”doi-asserted-by“：”publisher“，”first page“：”273“，”doi“：”10.1145\/2364527.2364568“，”article-title“：”Propositions as Sessions“，”volume-title“：”ICFP'12“，“auther”：“Philip Wadler”，“年份”：“2012”}]，“container-title”：[“Electronic Proceedings in Theory Computer Science”]，“original-title“：[]，“language”：“en”，“deposed”：{“date-parts”：[[2014,6,16]]，“date-time”：“2014-06-16T13:51:43Z”，“timestamp”：1402926703000}，“score”：1，“resource”：{primary“：{”URL“http:\/\/arxiv.org\/abs\/1406.3486v1”}}，]，“已发布”：{“日期-部分”：[[2014,6,12]]}，“references-count”：14，“URL”：“http://\/dx.doi.org\/10.4204\/eptcs.155.9”，“relation”：{}，”ISSN“：[”2075-2180“]，“ISSN-type”：[{“value”：“2075-21980”，“type”:“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2014,6,12]]}}}}