APA (7th ed.) Citation

Santo, J. E., Kesner, D., & Peyrot, L. (2024). A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications. Logical methods in computer science, 20, Issue 3, . https://doi.org/10.46298/lmcs-20(3:10)2024

Chicago Style (17th ed.) Citation

Santo, José Espírito, Delia Kesner, and Loïc Peyrot. "A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications." Logical Methods in Computer Science 20, Issue 3 (2024). https://doi.org/10.46298/lmcs-20(3:10)2024.

MLA (9th ed.) Citation

Santo, José Espírito, et al. "A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications." Logical Methods in Computer Science, vol. 20, Issue 3, 2024, https://doi.org/10.46298/lmcs-20(3:10)2024.