CORR
2007
Springer
13 years 11 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...