Available on ORBilu since
15 January 2020
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic
Horne, Ross James
2019In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019).
Peer reviewed
 

Files


Full Text
HorneFSCD.pdf
Publisher postprint (684.28 kB)

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Horne, Ross James ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic
Publication date :
2019
Event name :
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Event date :
Jun 24, 2019 - Jun 30, 2019
Main work title :
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019).
Publisher :
LIPIcs
Pages :
23:1–23:16
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust

Statistics


Number of views
37 (0 by Unilu)
Number of downloads
55 (3 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu