Relating Two Categorial Models of Term Rewriting

Andrea Corradini, Fabio Gadducci, Ugo Montanari. Relating Two Categorial Models of Term Rewriting. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Volume 914 of Lecture Notes in Computer Science, pages 225-240, Springer, 1995.

Abstract

Abstract is missing.