Abstract

In this note we present a transformation from untyped applicative term rewrite systems to
functional term rewrite systems that preserves termination. Our transformation can handle
head variables in right-hand sides of rewrite rules.

BibTeX

@inproceedings{HM-HOR06,
  author      = "Nao Hirokawa and Aart Middeldorp",
  title       = "Uncurrying for Termination",
  booktitle   = "Proceedings of the 3rd International Workshop on
                 Higher-Order Rewriting",
  pages       = "19--24",
  year        = 2006
}