Mazza, D., Pellissier, L., & Vial, P. (2018). Polyadic approximations, fibrations and intersection types. Proceedings of ACM on programming languages, 2(POPL), 1-28. https://doi.org/10.1145/3158094
Citace podle Chicago (17th ed.)Mazza, Damiano, Luc Pellissier, a Pierre Vial. "Polyadic Approximations, Fibrations and Intersection Types." Proceedings of ACM on Programming Languages 2, no. POPL (2018): 1-28. https://doi.org/10.1145/3158094.
Citace podle MLA (9th ed.)Mazza, Damiano, et al. "Polyadic Approximations, Fibrations and Intersection Types." Proceedings of ACM on Programming Languages, vol. 2, no. POPL, 2018, pp. 1-28, https://doi.org/10.1145/3158094.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..