The Category-Theoretic Solution of Recursive Domain Equations (Q3956379)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Category-Theoretic Solution of Recursive Domain Equations |
scientific article |
Statements
The Category-Theoretic Solution of Recursive Domain Equations (English)
0 references
1982
0 references
domains
0 references
semantics
0 references
data-types
0 references
category
0 references
partial-order
0 references
fixed-point
0 references
computability
0 references
