Implicit exchange in multiplicative proofnets (Q2719797)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Implicit exchange in multiplicative proofnets |
scientific article |
Statements
Implicit exchange in multiplicative proofnets (English)
0 references
17 July 2001
0 references
multiplicative proofnet
0 references
multiplicative linear logic
0 references
number of exchange rules
0 references
proof structure
0 references
homology
0 references