## Ross Horne

*The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic*

FSCD, 2019.

@inproceedings{FSCD-2019-Horne, author = "Ross Horne", booktitle = "{Proceedings of the Fourth International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2019.23", isbn = "978-3-95977-107-8", pages = "16", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic}", year = 2019, }