New Curry-Howard terms for full linear logic (Q1390952)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | New Curry-Howard terms for full linear logic |
scientific article |
Statements
New Curry-Howard terms for full linear logic (English)
0 references
22 July 1998
0 references
linear logic
0 references
natural deduction
0 references
term calculus
0 references
strong normalization
0 references
