Natural deduction for intuitionistic linear logic
| Authors | |
|---|---|
| Publication date | 1995 |
| Journal | Annals of Pure and Applied Logic |
| Volume | Issue number | 73 |
| Pages (from-to) | 79-108 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.1016/0168-0072(93)E0078-3 |
| Downloads |
0168007293E00783-main.pdf
(Final published version)
|
| Permalink to this page | |