Relating two approaches to coinductive solution of recursive equations

MaRDI QIDQ2847812zbMATH OpenFDO

Authors Bart Jacobs

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051734

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Distributive laws for the coinductive solution of recursive equations
• Generalised coinduction
• Behavioural Differential Equations and Coinduction for Binary Trees
• scientific article; zbMATH DE number 1314221
• The bicategory-theoretic solution of recursive domain equations

Cited in

(3)

• Recursive coalgebras from comonads
• Distributive laws for the coinductive solution of recursive equations
• Bisimulations generated from corecursive equations

This page was built for publication: Relating two approaches to coinductive solution of recursive equations

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