APA (7th ed.) Citation

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 Style (17th ed.) Citation

Battyányi, Péter, and 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 (9th ed.) Citation

Battyányi, Péter, and 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.