Similar Items: Quantitative Linear Logic
- Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
- 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
- Extending QuAK with Nested Quantitative Automata