Similar Items: Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- A Fibrational Perspective on Differential Linear Logic
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Edit Distance of Finite-Valued Transducers
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- A Logic of Inability