Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad

Wolfgang Gehrke. Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad. 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 210-224, Springer, 1995.

Abstract

Abstract is missing.