APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Mazza, Damiano, Luc Pellissier, and 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.

MLA (9th ed.) Citation

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.