Santo, J. E., Kesner, D., & Peyrot, L. (2024, July 26). A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications. arXiv.org. https://doi.org/10.48550/arxiv.2201.04156
Citácia podle Chicago (17th ed.)Santo, José Espírito, Delia Kesner, a Loïc Peyrot. "A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications." ArXiv.org 26 Jul. 2024. https://doi.org/10.48550/arxiv.2201.04156.
Citácia podľa MLA (8th ed.)Santo, José Espírito, et al. "A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications." ArXiv.org, 26 Jul. 2024, https://doi.org/10.48550/arxiv.2201.04156.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..