No label defined (Q4727407)
From MaRDI portal
scientific article; zbMATH DE number 4001458
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4001458 |
Statements
1986
0 references
recursive types
0 references
equational types
0 references
programming control constructs
0 references
data type and program specification
0 references
RV-theory
0 references
mathematical semantics
0 references
initial algebra semantics
0 references
equational specification
0 references
