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
Citácia podle Chicago (17th ed.)Battyányi, Péter, a 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.
Citácia podľa MLA (8th ed.)Battyányi, Péter, a 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..