APA (7th ed.) Citation

Cerda, R., Manzonetto, G., & Saurin, A. (2025). Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!

Chicago Style (17th ed.) Citation

Cerda, Rémy, Giulio Manzonetto, and Alexis Saurin. Ohana Trees, Linear Approximation and Multi-types for the $λ$I-calculus: No Variable Gets Left Behind or Forgotten! 2025.

MLA (9th ed.) Citation

Cerda, Rémy, et al. Ohana Trees, Linear Approximation and Multi-types for the $λ$I-calculus: No Variable Gets Left Behind or Forgotten! 2025.