A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) (1994)

by P. N. Benton
Citations:96 - 3 self