Distributivity for a Monad and a Comonad (0)

Cached

Download Links

by John Power , Hiroshi Watanabe
Citations:6 - 0 self

Documents Related by Co-Citation

24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
919 Categories for the working mathematician – Mac Lane, S - 1971
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
10 Bialgebraic modelling of timed processes – M Kick - 2002
8 Rule formats for timed processes – M Kick - 2002
5 Modularity of behaviours for mathematical operational semantics – M Kick, J Power - 2004
4 Well-behaved translations between structural operational semantics – Hiroshi Watanabe - 2002
9 Category theory for operational semantics – M Lenisa, J Power, H Watanabe
46 Semantics of Name and Value Passing – Marcelo Fiore, Daniele Turi - 2001
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
121 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
20 A congruence rule format for name-passing process calculi from mathematical structural operational semantics – Marcelo Fiore, Sam Staton - 2006
24 On the productivity of recursive list definitions – Ben A Sijtsma - 1989