APA (7th ed.) Citation

Lucatelli Nunes, F., & Vákár, M. (2024). Automatic differentiation for ML-family languages: Correctness via logical relations. Mathematical structures in computer science, 34(8), 747-806. https://doi.org/10.1017/S0960129524000215

Chicago Style (17th ed.) Citation

Lucatelli Nunes, Fernando, and Matthijs Vákár. "Automatic Differentiation for ML-family Languages: Correctness via Logical Relations." Mathematical Structures in Computer Science 34, no. 8 (2024): 747-806. https://doi.org/10.1017/S0960129524000215.

MLA (9th ed.) Citation

Lucatelli Nunes, Fernando, and Matthijs Vákár. "Automatic Differentiation for ML-family Languages: Correctness via Logical Relations." Mathematical Structures in Computer Science, vol. 34, no. 8, 2024, pp. 747-806, https://doi.org/10.1017/S0960129524000215.