No label defined (Q4342439)
From MaRDI portal
scientific article; zbMATH DE number 1024333
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1024333 |
Statements
18 June 1997
0 references
monoidal closed categories
0 references
tensorial strength
0 references
coherence
0 references
categorical proof theory
0 references
weakly distributive categories
0 references
linearly distributive categories
0 references
tensor-par fragement of linear logic
0 references
cut-elimination
0 references
MIX rule
0 references
