Atkey, R. (2024). Polynomial Time and Dependent Types. Proceedings of ACM on programming languages, 8(POPL), 2288-2317. https://doi.org/10.1145/3632918
Citácia podle Chicago (17th ed.)Atkey, Robert. "Polynomial Time and Dependent Types." Proceedings of ACM on Programming Languages 8, no. POPL (2024): 2288-2317. https://doi.org/10.1145/3632918.
Citácia podľa MLA (8th ed.)Atkey, Robert. "Polynomial Time and Dependent Types." Proceedings of ACM on Programming Languages, vol. 8, no. POPL, 2024, pp. 2288-2317, https://doi.org/10.1145/3632918.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..