On the Foundations of Corecursion (Q3126405)
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: On the Foundations of Corecursion |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Foundations of Corecursion |
scientific article |
Statements
On the Foundations of Corecursion (English)
0 references
2 June 1997
0 references
coalgebra
0 references
operator on sets
0 references
definition of functions by corecursion
0 references
fixed point
0 references
non-wellfounded sets
0 references
0 references
0 references
0.8654394
0 references
0.8607609
0 references
0.8577541
0 references
0.8477019
0 references
0.84318924
0 references
