@misc{indiciae3c99b53eee50,
  title = {A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)},
  author = {Victoria Vollmer and Danielle Marshall and Harley Eades III and Dominic Orchard},
  year = {2024},
  doi = {10.4230/lipics.csl.2025.32},
  url = {https://arxiv.org/abs/2401.17199},
  note = {Source identifier: 2401.17199}
}