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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..