对称性中的观测等价性和完全抽象交互组合器第条
作者：Damiano Mazza
无效的
达米亚诺·马扎
对称交互组合子是Lafont的交互组合子。它们是的一个图形重写模型确定性计算。我们定义了两个观测等价的概念对于它们，类似于λ-微积分。然后，我们分别证明了这两种方法的完整抽象结果等效性。这是通过将网络解释为坎托空间，称为建筑物，与λ-微积分理论。
卷：第5卷第4期
发布日期：2009年12月22日
进口日期：2008年2月29日
关键词：计算机科学-计算机科学中的逻辑，计算机科学-离散数学，F.3.2，F.4.1
