Val Tannen, Jean H. Gallier. Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. In Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, editors, Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Volume 372 of Lecture Notes in Computer Science, pages 137-150, Springer, 1989.
Abstract is missing.