@inproceedings{FSCD19,
  author        = {Ross Horne},
  title         = {The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic},
  year          = {2019},
  booktitle     = {4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019).},
  doi           = {10.4230/LIPIcs.FSCD.2019.23},
  volume        = {131},
  url           = {https://satoss.uni.lu/members/ross/pdf/additives.pdf},
  editor        = {Herman Geuvers},
  pages         = {23:1--23:16},
  publisher     = {LIPIcs}
}