Distributivity for a Monad and a Comonad (0)

Cached

Download Links

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

Active Bibliography

2 Combining a Monad and a Comonad – John Power, Hiroshi Watanabe
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
4 Dialgebraic Specification and Modeling – Peter Padawitz
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
2 MONAD COMPOSITIONS I: GENERAL CONSTRUCTIONS AND RECURSIVE DISTRIBUTIVE LAWS – Ernie Manes, Philip Mulry
21 Abstract syntax and variable binding (extended abstract – Marcelo Fiore, Gordon Plotkin, Daniele Turi - 1999
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
Towards Effects in Mathematical Operational Semantics – Faris Abou-saleh, Dirk Pattinson
4 Well-behaved translations between structural operational semantics – Hiroshi Watanabe - 2002
GENERALIZED HOPF MODULES FOR BIMONADS – Marcelo Aguiar, Stephen, U. Chase
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum ∗ – Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach