Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631)
From MaRDI portal
scientific article; zbMATH DE number 1310705
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic |
scientific article; zbMATH DE number 1310705 |
Statements
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (English)
0 references
9 January 2000
0 references
category theory
0 references
structure of proofs
0 references
linear logic
0 references
cartesian category
0 references
symmetric monoidal category
0 references
proof theoretical applications
0 references
freely generated isomorphism
0 references
