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

Contact ORBilu