APA (7th ed.) Citation

Baillot, P., Lago, U. D., Kop, C., & Vale, D. (2024). A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations.

Chicago Style (17th ed.) Citation

Baillot, Patrick, Ugo Dal Lago, Cynthia Kop, and Deivid Vale. A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations. 2024.

MLA (9th ed.) Citation

Baillot, Patrick, et al. A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations. 2024.