Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.

Val Tannen, Jean H. Gallier

Browse the full ICALP paper archive.