Problems in rewriting applied to categorical concepts by the example of a computational comonad (1995)

by Wolfgang Gehrke
Venue:Proceedings of the Sixth International Conference on Rewriting Techniques and Applications