关系图模型的应用
摘要：关于关系图模型：一个lambda演算关系模型的自然子类的研究 摘要：我们研究了组成lambda演算关系模型的关系图模型，证明了在这些模型引发的lambda理论中存在一个最小的理论，并且相应的关系图模型非常自然且容易构建。然后，我们研究了关系图模型的全抽象性，即它们能够捕捉lambda演算术语之间的某种观察等价关系。我们重点研究了lambda演算中的两个主要观察等价关系，即以beta标准形式为观察对象生成的理论H+，以及以头部标准形式为观察对象生成的理论H*。一方面，我们引入了lambda-König模型的概念，并证明了一个关系图模型对H+来说是全抽象的当且仅当它是外延的和lambda-König型的。另一方面，我们证明了与之对偶的超级免疫模型，以及外延性，捕捉了H*的全抽象性。
作者：Flavien Breuvart and Giulio Manzonetto and Domenico Ruoppolo
论文ID：1703.10382
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22