Categorical Term Rewriting: Monads and Modularity (1998)

Cached

Download Links

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

Document Versions

Categorical Term Rewriting: Monads and Modularity –Christoph Lüth — 1998 — University of Edinburgh