A new foundation for finitary corecursion and iterative algebras (Q2304521)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new foundation for finitary corecursion and iterative algebras |
scientific article |
Statements
A new foundation for finitary corecursion and iterative algebras (English)
0 references
12 March 2020
0 references
coalgebra
0 references
fixpoints of functors
0 references
automata behaviour
0 references
algebraic trees
0 references
