Double categories: a modular model of multiplicative linear logic (Q4792944)
From MaRDI portal
scientific article; zbMATH DE number 1870266
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Double categories: a modular model of multiplicative linear logic |
scientific article; zbMATH DE number 1870266 |
Statements
Double categories: a modular model of multiplicative linear logic (English)
0 references
28 October 2003
0 references
double category
0 references
modular model
0 references
rewriting system
0 references
multiplicative linear logic
0 references
*-autonomous category
0 references
proof-net
0 references
cut-elimination
0 references
computation
0 references
