Categorical Term Rewriting: Monads and Modularity (1998)

View PDF

Download Links

by Christoph Lüth
Venue:University of Edinburgh
Citations:11 - 6 self