Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548)
From MaRDI portal
scientific article; zbMATH DE number 7114849
Language | Label | Description | Also known as |
---|---|---|---|
English | Deep inference and expansion trees for second-order multiplicative linear logic |
scientific article; zbMATH DE number 7114849 |
Statements
Deep inference and expansion trees for second-order multiplicative linear logic (English)
0 references
9 October 2019
0 references
0 references