A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) (1994)
Cached
Download Links
by
P. N. Benton
| Citations: | 88 - 3 self |
Document Versions
| A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) –P. N. Benton — 1994 |
| A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) –P.N. Benton — 1994 |
| A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models –P.N. Benton — 1994 |
| A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models –P. N. Benton — 1994 |
| A mixed linear and non-linear logic: proofs, terms and models –P. N. Benton — 1995 |
