No label defined (Q4373552)
From MaRDI portal
scientific article; zbMATH DE number 1107618
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1107618 |
Statements
16 February 1998
0 references
dagger operation
0 references
recursive data types
0 references
recursive functorial equations
0 references
data type specification
0 references
iteration 2-theories
0 references
algebraically complete categories
0 references