No label defined (Q4376053)
From MaRDI portal
scientific article; zbMATH DE number 1114337
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1114337 |
Statements
17 May 1998
0 references
intuitionistic proof-nets
0 references
intuitionistic fragments of multiplicative linear logic
0 references
correctness criterion
0 references
Lambek calculus
0 references
