HORPO与计算闭包：一种重构
摘要：一种新的decidable的高阶递归路径排序定义方法，仅在需要时进行类型比较，因此消除了可计算闭包的需要，并显式处理限制变量，从而使得能够处理任意严格正的归纳类型的递归器。
作者：Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (LIX), Albert Rubio
论文ID：0708.3582
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-08-28