A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract).

P. N. Benton

Browse the full CSL paper archive.