A Mixed Linear and Graded Logic: Proofs, Terms, and Models.

Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard

Browse the full CSL paper archive.