Similar Items: A Fibrational Perspective on Differential Linear Logic
- Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- A Logic of Inability
- Logics for Context-free Hyperproperties
- Differentially Private Runtime Monitoring