Final Dialgebras: From Categories to Allegories (Q4943551)
From MaRDI portal
scientific article; zbMATH DE number 1416507
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Final Dialgebras: From Categories to Allegories |
scientific article; zbMATH DE number 1416507 |
Statements
Final Dialgebras: From Categories to Allegories (English)
0 references
11 May 2000
0 references
coinductive types
0 references
0 references
