Monads and Modular Term Rewriting (1997)

by Christoph Lüth , Neil Ghani
Citations:20 - 13 self

Active Bibliography

Categorical Term Rewriting: – unknown authors - 1997
Categorical Term Rewriting: – unknown authors - 1997
11 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
Monads and Modular Term Rewriting – Christoph Lueth, Neil Ghani - 1997
766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
Monads and Modular Term Rewriting – Christoph Luth And, Christoph Luth, Neil Ghani - 1997
9 Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem – Christoph Lüth - 1996
unknown title – Christoph Lüth