Finite Behaviours and Finitary Corecursion (Q4580220)
From MaRDI portal
scientific article; zbMATH DE number 6917185
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite Behaviours and Finitary Corecursion |
scientific article; zbMATH DE number 6917185 |
Statements
13 August 2018
0 references
iterative algebra
0 references
completely iterative algebra
0 references
fg-iterative algebra
0 references
rational fixpoint
0 references
terminal coalgebra
0 references
iterative monad
0 references
Finite Behaviours and Finitary Corecursion (English)
0 references
