计算模型BSS模型在轻量仿射λ演算中的嵌入
摘要：在本文中，将线性逻辑（LL）的隐式复杂度类特征与布拉姆-舒布-斯梅尔（BSS）模型下的任意环计算相结合。给定一个固定的环结构K，我们定义了Terui的轻量级仿射lambda演算在LAL（轻量级仿射逻辑）中的扩展，其中包括了K的基本类型。我们证明了这个演算能够捕获多项式时间函数类FP(K)：每个类型化的术语都可以在多项式时间内评估，并且反过来说，每个基于K的多项式时间BSS机器都可以在这个演算中进行模拟。
作者：Patrick Baillot (LIPN), Marco Pedicini
论文ID：cs/0608040
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23