TY  - RPRT
TI  - Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
AU  - Rémy Cerda
AU  - Giulio Manzonetto
AU  - Alexis Saurin
PY  - 2026
UR  - https://arxiv.org/abs/2505.06193
ID  - 2505.06193
ER  -