Finite behaviours and finitary corecursion - Urbat, Henning (7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, 2017)
Keywords: Completely iterative algebra; Fg-iterative algebra; Iterative algebra; Iterative monad; Rational fixpoint; Terminal coalgebra