Algebraic semantics of rewriting terms and types (1992)

by K Meinke
Venue:Proceedings 3rd International Workshop on Conditional Rewriting Systems, Pont-`a-Mousson (France), volume 656 of Lecture Notes in Computer Science