No label defined (Q4373552)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 1107618 |
scientific article; zbMATH DE number 1107618
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8237763047218323
0 references
0.7948793172836304
0 references
0.7929578423500061
0 references