|
|
Dualizing Initial Algebras
– Neil Ghani, Christoph Lüth, Federico de Marchi, Chr I Stoph L, John Power
- 2002
|
|
1
|
Equational Systems and Free Constructions (Extended Abstract)
– Marcelo Fiore, Chung-kil Hur
|
|
7
|
Coalgebraic Monads
– Neil Ghani, Christoph Lüth, Federico De Marchi
- 2002
|
|
8
|
On Property-Like Structures
– G. M. Kelly, Stephen Lack
- 1997
|
|
5
|
On the construction of free algebras for equational systems
– Marcelo Fiore, Chung-Kil Hur
- 2009
|
|
1
|
Finitary construction of free algebras for equational systems
– Marcelo Fiore, Chung-kil Hur
- 2008
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
7
|
Monads and Modularity
– Christoph Lüth, Neil Ghani
|
|
12
|
Categorical Term Rewriting: Monads and Modularity
– Christoph Lüth
- 1998
|
|
6
|
Lax Naturality Through Enrichment
– Yoshiki Kinoshita, John Power
- 1995
|
|
4
|
A 2-categories companion
– Stephen Lack
|
|
27
|
Semantical Principles in the Modal Logic of Coalgebraic
– Dirk Pattinson
|
|
|
Semantic Principles in the . . .
– Dirk Pattinson
- 2001
|
|
3
|
Categorical Equational Systems: Algebraic Models and Equational Reasoning
– Chung-kil Hur
- 2010
|
|
|
Presheaf models for the π-calculus
– Ian Stark
- 1997
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
|
Languages, Theory
– Neil Ghani, Tarmo Uustalu
|
|
1
|
Abstract Modularity
– Michael Abbott, Neil Ghani, Christoph Lüth
- 2005
|
|
8
|
Coalgebraic modal logic beyond Sets
– Bartek Klin
- 2007
|
