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

Cached

Download Links

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

Documents Related by Co-Citation

134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
10 Bialgebraic modelling of timed processes – M Kick - 2002
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
8 Coalgebraic semantics for timed processes – Marco Kick, John Power, Alex Simpson - 2006
202 Non–Well–Founded Sets – P Aczel - 1988
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
5 Modularity of behaviours for mathematical operational semantics – M Kick, J Power - 2004
8 Rule formats for timed processes – M Kick - 2002
6 Distributivity for a Monad and a Comonad – John Power, Hiroshi Watanabe
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005