Now showing items 1-1 of 1

    • Higher-order recursive path orderings 

      Jouannaud, J P; Rubio Gimeno, Alberto (1998-12)
      Research report
      Open Access
      This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to higher-order simply-typed lambda-terms. The main result ...