基本仿射逻辑中的输入算法
摘要：在基本仿射逻辑(EAL)中，我们提供了一种新的类型推断算法，该算法受到复杂性和最优化缩减应用的启发。根据之前的参考文献在这个主题上，我们考虑的EAL 类型系统（标记为EAL*）是一个没有共享和多态的变体。我们的算法改进了已知的算法，它提供了更好的复杂性界限：如果给出了项t的简单类型推导，我们的算法可以在多项式时间内执行EAL*类型推断。
作者：Patrick Baillot and Kazushige Terui
论文ID：cs/0412028
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23