Monads and Modular Term Rewriting (1997)

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

Active Bibliography

12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
Monads and Modular Term Rewriting – Christoph Lueth, Neil Ghani - 1997
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
betaeta-Equality for Coproducts – Neil Ghani - 1995
36 The Virtues of Eta-expansion – C. Barry Jay, Neil Ghani - 1993
6 Iterated distributive laws – Eugenia Cheng - 2007
4 Adjoint Rewriting and the !-type constructor – Neil Ghani - 1996
2 Geometry of abstraction in quantum computation – Dusko Pavlovic
4 Colimits, Stanley-Reisner Algebras, and Loop Spaces – Taras Panov, Nigel Ray, Rainer Vogt - 2003
32 Operads In Higher-Dimensional Category Theory – Tom Leinster - 2004
1 Finitary construction of free algebras for equational systems – Marcelo Fiore, Chung-kil Hur - 2008
5 On the construction of free algebras for equational systems – Marcelo Fiore, Chung-Kil Hur - 2009
Robert Goldblatt Maps and Monads for Modal Frames – Dedicated Willem, Johannes Blok
Under consideration for publication in Math. Struct. in Comp. Science A Comonadic Account of Behavioural – Covarieties Of Coalgebras - 2002
12 Algebras versus coalgebras – Robert Wisbauer - 2007
2 Maps and Monads for Modal Frames – Robert Goldblatt - 2004
25 Adjoint Rewriting – Neil Ghani - 1995
10 Distributive Laws For Pseudomonads – F. Marmolejo - 1999