Distributive laws for the coinductive solution of recursive equations

DOI10.1016/J.IC.2005.03.006MaRDI QIDQ2495644zbMATH OpenOpenAlexFDO

Authors Bart Jacobs

Publication date 30 June 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2005.03.006

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Relating two approaches to coinductive solution of recursive equations
• Presenting distributive laws
• Presenting distributive laws
• Generalised coinduction
• Monad compositions. I: General constructions and recursive distributive laws

Cites work

• A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
• A coalgebraic view of infinite trees and iteration
• Adjoint Lifting Theorems for Categories of Algebras
• Alternating automata on infinite trees
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 1314221 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Infinite trees and completely iterative theories: A coalgebraic view
• Introduction to distributive categories
• On iteratable endofunctors
• On the algebraic structure of rooted trees
• Parametric corecursion
• Recursion schemes from comonads
• Relating two approaches to coinductive solution of recursive equations
• Trace semantics for coalgebras

Cited in

(16)

• Bialgebraic methods and modal logic in structural operational semantics
• Long-term values in Markov decision processes, (co)algebraically
• Corecursion up-to via causal transformations
• Bisimulation and coinduction enhancements: a historical perspective
• On the greatest solution of equations in \(\mathrm{CLL}_R\)
• Relating two approaches to coinductive solution of recursive equations
• Bialgebraic methods in structural operational semantics (invited talk)
• Stream differential equations: specification formats and solution methods
• Companions, codensity and causality
• Structural congruence for bialgebraic semantics
• The Expression Lemma
• Categorical semantics for arrows
• Product rules and distributive laws
• On coalgebras over algebras
• Bialgebras for structural operational semantics: an introduction
• Monads and distributive laws for Rota-Baxter and differential algebras

This page was built for publication: Distributive laws for the coinductive solution of recursive equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2495644)