TY  - RPRT
TI  - Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
AU  - Luc Dartois
AU  - Lê Thành Dũng Nguyên
AU  - Charles Peyrat
PY  - 2026
UR  - https://arxiv.org/abs/2605.03928
ID  - 2605.03928
ER  -