阿尔贝托·齐法格利翁;Furio Honsell;玛丽娜·莱妮莎;伊万·斯卡格内托 内卷化作为基本类型/应用程序作为统一类比。 （英文） Zbl 1416.03009号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 254-270 (2018). 摘要：《Theor.Compute.Sci.347，No.3，441-464》（2005；Zbl 1081.68019号)],S.阿布拉姆斯基介绍了基于仿射组合逻辑的各种通用计算模型，这些模型由合适的动作形式语言上的部分对合组成，以讨论游戏理论环境中的可逆计算。我们从\（λ\）-微积分的模型理论的角度研究了Abramsky的模型，重点研究了Abramsky组合代数的纯线性和仿射片段。我们的方法源于实现一种结构类比，这种结构类比在解释组合子的部分对合和该项的主要类型之间，相对于（lambda）-演算的简单类型规程，迄今为止尚未在文献中指出。这种类比可以解释，作为主要类型之间的统一，交互几何（GoI）产生的对合的线性应用有些笨拙。我们的方法立即为Abramsky提出的公开问题提供了答案，该问题描述了那些有限可描述的部分对合，它们是组合子在纯仿射片段中的表示。我们还证明了部分对合的（纯）线性组合代数虽然不是组合模型，但是（纯）线形（λ）代数，而（纯）仿射组合代数不是。为了检查仿射（lambda）代数定义中涉及的复杂方程，我们在Erlang中实现了作为对合的（lambda-）项的编译及其执行。关于整个系列，请参见[Zbl 1407.68021号]. 引用于1文件 MSC公司： 03B40型 组合逻辑与lambda演算 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：游戏;相互作用几何;λ演算;可逆计算 引文：Zbl 1081.68019号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciafglione}等人，EPiC Ser。计算。57254-270（2018年；兹比尔1416.03009） 全文： 内政部