|
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
|
|
8
|
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
|
|
3
|
Iterated distributive laws
– Eugenia Cheng
- 2007
|
|
4
|
Adjoint Rewriting and the !-type constructor
– Neil Ghani
- 1996
|
|
30
|
Operads In Higher-Dimensional Category Theory
– Tom Leinster
- 2004
|
|
|
in quantum computation
– Dusko Pavlovic, Dusko Pavlovic
|
|
3
|
Colimits, Stanley-Reisner Algebras, and Loop Spaces
– Taras Panov, Nigel Ray, Rainer Vogt
- 2003
|
|
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
|
|
5
|
Algebras versus coalgebras
– Robert Wisbauer
- 2007
|
|
25
|
Adjoint Rewriting
– Neil Ghani
- 1995
|
|
9
|
Distributive Laws For Pseudomonads
– F. Marmolejo
- 1999
|
|
|
Multiplicative Structures of 2-dimensional Topological Quantum Field Theory
– S. S. Moskaliuk, A. T. Vlassov
- 2003
|
|
|
Weighted Colimits and Formal . . .
– J. J. M. M. Rutten
- 1997
|
|
9
|
Metric, Topology and Multicategory - A Common Approach
– Maria Manuel Clementino, Walter Tholen
- 2001
|
