APA (7th ed.) Citation

Díaz-Caro, A., & Dowek, G. (2024). A linear linear lambda-calculus. Mathematical structures in computer science, 34(10), 1103-1137. https://doi.org/10.1017/S0960129524000197

Chicago Style (17th ed.) Citation

Díaz-Caro, Alejandro, and Gilles Dowek. "A Linear Linear Lambda-calculus." Mathematical Structures in Computer Science 34, no. 10 (2024): 1103-1137. https://doi.org/10.1017/S0960129524000197.

MLA (9th ed.) Citation

Díaz-Caro, Alejandro, and Gilles Dowek. "A Linear Linear Lambda-calculus." Mathematical Structures in Computer Science, vol. 34, no. 10, 2024, pp. 1103-1137, https://doi.org/10.1017/S0960129524000197.