@misc{indiciae3e39ce4ef5a3,
  title = {Ohana trees, linear approximation and multi-types for the \$λ\$I-calculus: No variable gets left behind or forgotten!},
  author = {Rémy Cerda and Giulio Manzonetto and Alexis Saurin},
  year = {2026},
  url = {https://arxiv.org/abs/2505.06193},
  note = {Source identifier: 2505.06193}
}