Similar Items: On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- A Fibrational Perspective on Differential Linear Logic
- Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- Order-invariant cluster first-order logic on graph classes of bounded degree
- Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities