A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (1995)

by N Benton
Venue:Computer Laboratory, University of Cambridge