Finite behaviours and finitary corecursion

DOI10.4230/LIPICS.CALCO.2017.24MaRDI QIDQ4580220zbMATH OpenOpenAlexFDO

Authors Henning Urbat

Publication date 13 August 2018

Full work available at URL https://doi.org/10.4230/LIPIcs.CALCO.2017.24

zbMATH Keywords

terminal coalgebraiterative algebraiterative monadcompletely iterative algebrafg-iterative algebrarational fixpoint

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• A new foundation for finitary corecursion and iterative algebras
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Universal coalgebra: A theory of systems
• A note on expressive coalgebraic logics for finitary set functors
• CIA structures and the semantics of recursion

Cited in

(5)

• On algebras with effectful iteration
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Proper functors and fixed points for finite behaviour
• A new foundation for finitary corecursion and iterative algebras
• Finite multidimensional behaviors

This page was built for publication: Finite behaviours and finitary corecursion

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