No label defined (Q4263861)
From MaRDI portal
scientific article; zbMATH DE number 1342272
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1342272 |
Statements
28 February 2000
0 references
qualitative domains
0 references
coherence space semantics
0 references
linear logic
0 references
multicliques
0 references
morphisms
0 references
co-Kleisli category
0 references
comonad
0 references
cartesian closed category
0 references
normal form theorem
0 references