The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic
English
Horne, Ross James[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2019
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019).
LIPIcs
23:1–23:16
Yes
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)