46 search results - page 10 / 10 » Strong normalization proofs by CPS-translations |
JACM
2007
13 years 5 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...