Categorical Term Rewriting: Monads and Modularity (1990)

by C Luth
Venue:University of Edinburgh