Battyányi, P., & Nour, K. (2022). Normalization in the simply typed -calculus. Mathematical structures in computer science, 32(8), 1066-1098. https://doi.org/10.1017/S096012952200041X
Chicago-Zitierstil (17. Ausg.)Battyányi, Péter, und Karim Nour. "Normalization in the Simply Typed -calculus." Mathematical Structures in Computer Science 32, no. 8 (2022): 1066-1098. https://doi.org/10.1017/S096012952200041X.
MLA-Zitierstil (9. Ausg.)Battyányi, Péter, und Karim Nour. "Normalization in the Simply Typed -calculus." Mathematical Structures in Computer Science, vol. 32, no. 8, 2022, pp. 1066-1098, https://doi.org/10.1017/S096012952200041X.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.