On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On categorical equivalence of Gentzen-style derivations in IMLL |
scientific article; zbMATH DE number 1965374
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On categorical equivalence of Gentzen-style derivations in IMLL |
scientific article; zbMATH DE number 1965374 |
Statements
On categorical equivalence of Gentzen-style derivations in IMLL (English)
0 references
17 August 2003
0 references
closed categories
0 references
intuitionistic linear logic
0 references
categorical equivalence of derivation
0 references
0 references
0.8733853
0 references
0.8708381
0 references
0.8700249
0 references
0.86902213
0 references
0.86752707
0 references
0.8671524
0 references
0.86505425
0 references
