Finite behaviours and finitary corecursion

DOI10.4230/LIPICS.CALCO.2017.24zbMATH Open1433.68207OpenAlexW2771259890MaRDI QIDQ4580220FDOQ4580220

Authors: Henning Urbat 

Publication date: 13 August 2018

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• On algebras with effectful iteration
• 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)