Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads (2000)

Cached

Download Links

by Marina Lenisa , John Power , Hiroshi Watanabe
Citations:27 - 1 self

Active Bibliography

244 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
94 Coalgebraic Logic – Lawrence S. Moss - 1999
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
19 Final Universes of Processes – Peter Aczel - 1994
16 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
12 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi