Abstract Modularity (2005)

by Michael Abbott , Neil Ghani , Christoph Lüth
Citations:1 - 0 self

Active Bibliography

Categorical Term Rewriting: – unknown authors - 1997
Categorical Term Rewriting: – unknown authors - 1997
24 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
453 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
Abstract Composing Monads Using Coproducts – Christoph Lüth
731 Notions of Computation and Monads – Eugenio Moggi - 1991
28 Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems – Bernhard Gramlich - 1993
11 On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems – Enno Ohlebusch - 1994