Pages that link to "Item:Q2495644"
From MaRDI portal
The following pages link to Distributive laws for the coinductive solution of recursive equations (Q2495644):
Displaying 16 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- On the greatest solution of equations in \(\mathrm{CLL}_R\) (Q2353634) (← links)
- Relating two approaches to coinductive solution of recursive equations (Q2847812) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- (Q2980965) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- The Expression Lemma (Q3521989) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)