Finite behaviours and finitary corecursion (Q4580220)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Finite behaviours and finitary corecursion |
scientific article; zbMATH DE number 6917185
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8466993570327759
0 references
0.8223333954811096
0 references
0.7666787505149841
0 references
0.765235960483551
0 references
0.7630424499511719
0 references