Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

Lucatelli Nunes, Fernando, a 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.

Citace podle MLA (9th ed.)

Lucatelli Nunes, Fernando, a 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..