On the Foundations of Corecursion (Q3126405)
From MaRDI portal
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
