Categorical Term Rewriting: Monads and Modularity (1998)

by Christoph Lüth
Venue:University of Edinburgh