A Mixed Linear and Graded Logic: Proofs, Terms, and Models. - Victoria Vollmer; Danielle Marshall 001; Harley Eades III; Dominic Orchard (CSL, 2025)