Around Classical and Intuitionistic Linear Logics
2018
LICS2018
https://dl.acm.org/doi/10.1145/3209108.3209132
linear logic