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

completely iterative algebrafg-iterative algebraiterative algebraiterative monadrational fixpointterminal coalgebra

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

(6)

• On algebras with effectful iteration
• Finite multidimensional behaviors
• A new foundation for finitary corecursion and iterative algebras
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Proper functors and fixed points for finite behaviour
• Initial algebras unchained -- a novel initial algebra construction formalized in Agda

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)