Coalgebraic Monads (2002)

Cached

Download Links

by Neil Ghani , Christoph Lüth , Federico De Marchi
Citations:7 - 5 self

Active Bibliography

6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002
9 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
7 The category theoretic solution of recursive program schemes – Stefan Milius, Lawrence, S. Moss - 2006
Languages, Theory – Neil Ghani, Tarmo Uustalu
7 Monads and Modularity – Christoph Lüth, Neil Ghani
11 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
12 Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description – Andrea Corradini, Fabio Gadducci - 1999
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
6 Lax Naturality Through Enrichment – Yoshiki Kinoshita, John Power - 1995
1 M-Completeness Is Seldom Monadic Over Graphs – J. Adámek, G.M. Kelly - 2000
4 A 2-categories companion – Stephen Lack
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
3 On iterable endofunctors – Stefan Milius - 2003
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
7 Familial 2-functors and parametric right adjoints – Mark Weber