Categorical Term Rewriting: Monads and Modularity (1998)

View PDF

Download Links

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

Active Bibliography

Categorical Term Rewriting: – unknown authors - 1997
Categorical Term Rewriting: – unknown authors - 1997
578 Term Rewriting Systems – J. W. Klop - 1992
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
296 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996