No label defined (Q5687238)
From MaRDI portal
scientific article; zbMATH DE number 956831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 956831 |
Statements
13 April 1997
0 references
stable morphisms
0 references
domain theory
0 references
concurrency
0 references
polymorphic programming languages
0 references
linear logic
0 references
cartesian closed category
0 references
continuous domains
0 references
recursive domain equations
0 references
semantics
0 references
