Polymorphic rewriting conserves algebraic strong normalization (1991)

by V Tannen, G H Gallier
Venue:Theoretical Computer Science