Citace podle APA (7th ed.)

Vezzosi, A., Mörtberg, A., & Abel, A. (2019). Cubical agda: A dependently typed programming language with univalence and higher inductive types. Proceedings of ACM on programming languages, 3(ICFP), 1-29. https://doi.org/10.1145/3341691

Citace podle Chicago (17th ed.)

Vezzosi, Andrea, Anders Mörtberg, a Andreas Abel. "Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types." Proceedings of ACM on Programming Languages 3, no. ICFP (2019): 1-29. https://doi.org/10.1145/3341691.

Citace podle MLA (9th ed.)

Vezzosi, Andrea, et al. "Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types." Proceedings of ACM on Programming Languages, vol. 3, no. ICFP, 2019, pp. 1-29, https://doi.org/10.1145/3341691.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..