{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11]]，“日期-时间”：“2023-01-11T22:27:32Z”，“时间戳”：1673476052465}，“参考-计数”：31，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“5”，“许可证”：[{“开始”：{:“日期-零件”：[2015,7,23]]，：“2015-07-23T00:00:00Z”，“时间戳”：143760960000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,6]}交集类型赋值系统可以用作构建\u03bb微积分逻辑模型的通用框架，该逻辑模型允许以有限的方式推理术语的外延。我们定义基本模型（一类新的逻辑模型）通过使用非幂等交集类型的参数类型赋值系统。根据基于类型而非通常基于类型的术语解释，每个合适的参数实例都会产生一个\u03bb-model，其理论是合理的。我们证明了这种类型赋值系统提供了一系列由集合和关系类产生的\u03bb-模型的逻辑描述<\/jats:p>“，”DOI“：”10.1017\/s0960129515000316“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,7,23]]，”date-time“：”2015-07-23T04:53:10Z“，”timestamp“：1437627190000}，”page“：，“作者”：[{“给定”：“LUCA”，“家庭”：“PAOLINI”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“MAURO”，“family”：“PICCOLO”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“SIMONA”，“family”：“RONCHI DELLA ROCCA”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“56”，“published online”：｛“date parts”：[[2015,7,23]]]｝，“reference”：[｛“key”：“S0960129515000316_ref24“，”doi断言为“：”publisher“，”DOI“：”10.1017\/S0960129511000594“}，{“key”：“S096019515000316_ref27”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.entcs.2009.07.101”}，“{”key“：”S09K129515000316_ref26“，”DOI-assert-by“：”publisher，“非结构化”：“de Carvalho D.（2009）.通过指称语义和交集类型执行lambda-terms的时间。CoRR，abs\/0905.4251。也可作为INRIA报告RR 6638获得。“}，{”key“：”S0960129515000316_ref8“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3662-44602-7_26“}”，{“key”：“S096019515000316_ref1”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/0168-0072（91）90065-T”}，“key“:”S09012951500316_ref17“，”unstructured“：”Honsell F.和Ronchi della Rocca S.（1990）.关于定性lambda模型中解释的推理。In:IFIP 2.2 505\u2013521.“}，{“key”：“S0960129515000316_ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.19800261902”}，}“keys”：“SO960129515000316 _ref4”，“volume-title”：“The Lambda Calculus:Its Syntax and Semantics”，“author”：“Barendregt”，“year”：“1984”}“Mairson H.和Neergaard P.M.（2004）类型、效力和幂等性：为什么非线性和健忘症使类型系统起作用。在：ICFP'04，138\u2013149中。：“S0960129515000316_ref6“，“非结构化”：“Bernadet A.和Lengrand S.（2011b）。过滤模型：非独立交集类型、正交性和多态性。包含：CSL’11。莱布尼茨国际信息学学报（LIPIcs）第12卷51\u201366。“}，{”key“：”S09601951000316_ref19“，”doi-asserted-by“：”publisher“，”doi“：”10.1093\/logcom\/10.3.411“}”，{“key”：“S090129515000316_ref3”，”volume-title“：”类别、类型和结构：工作计算机科学家的类别理论简介“，”author“：”Asperti“，”年份“：“1991”}，{“key”：“S0960129515000316_ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2003.10.032”}、{“密钥”：“SO960129515000316 _ref7”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/978-3-540-74915-8_24 publisher“，”doi“：”10.1002\/malq.19810270205“}，{”key“：”S0960129515000316_ref18“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0022-0000（92）90040-P“}，{“key”：“S09601951000316_ref23”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3642-03816-7_49”}，“key“：”S09012951500016_ref14“，”doi-asserted-by“”：“publisher”，“doi”：”10.106\/j.tcs.2008.08 1.023“}，{”key“：”S0960129515000316_ref10“，”doi-asserted-by“：”crossref”，“非结构化”：“Coppo M.，Dezani-Ciancaglini M.，Honsell F.和Longo G.（1984）。扩展型结构和过滤lambda模型。在：逻辑座谈会'82 241\u2013262.“，”DOI“：”10.1016\/S0049-237X（08）71819-6“}，{”key“：”S09601951000316_ref12“，”first page“：“48”，”volume-title“：”Electronic Notes In Theory Computer Science“，”author“：”De Benedetti“，”year“：”2013“}”，{“key”：“S090129515000316_ref15”，”first-page:“259”，“article-title”：“塌陷非幂等交集”类型“，”volume“：”16“，”author“：”Ehrhard“，”year“：”2012“，”journal-title“：”Leibniz International Proceedings in Informatics（LIPIcs）“}，{“key”：“S0960129515000316_ref25”，”doi-asserted-by“：”crossref“，”first page“：“358”，“doi”：“10.3233\/FI-2010-324”，“article-title”：“线性、非决定性和可解性”，“volume”：”103“，“author”：“Pagani”，“year”：“”2010年“，”journal-title“：”Fundamenta Informaticae“}，{”key“：”S0960129515000316_ref31“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/2586625“}”，{“key”：”S0.960129515000 316_ref21“，”首页“：”306“，”article-title”：“lambda演算模型”，“volume”：“52”，“author”：“Koymans”，“year”：“1982”，”journal-title“”：“信息和计算”}，}“”键“：”S0960129515000316_ref28“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-662-10394-4“}，{“key”：“S09601951500316_rf29”，“doi-assert-by”：“publisher”，“doi”：“10.1017\/S095679680104294”}，“key“：”S090129515000.316_ref30“，”unstructured“：”Terui K.（2006）。计算复杂性的交集类型。In:隐式计算复杂性研讨会（作为GEOCAL'06的一部分），马赛，2006年2月。“}，{”key“：”S0960129515000316_ref2“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511983504“}]，”container-title“：[“计算机科学中的数学结构”]，“original-title”：[]，”language“：”en“，”link“：[{”URL“：”https://www.cambridge.org\/core\/services\/aop cambridge-core\/content\/view\/S09960129515000316“，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2020,9,5]]，“日期时间”：“2020-09-05T17:52:14Z”，“时间戳”：1599328334000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000316\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2015,7,23]]}，”references-count“：31，”journal-issue“：{”issue“：“5”，”published-print“：{”date-parts“：[2017,6]}}”，“alternative-id”：[“S090129515000 316“]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0960129515000316“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”值“：”09601295“，”类型“：”打印“}，{”价值“：”1469-80 72“，”类别“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2015,7,23]]}}}}