TY  - RPRT
TI  - A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
AU  - Victoria Vollmer
AU  - Danielle Marshall
AU  - Harley Eades III
AU  - Dominic Orchard
PY  - 2024
DO  - 10.4230/lipics.csl.2025.32
UR  - https://arxiv.org/abs/2401.17199
ID  - 2401.17199
ER  -