APA (7th ed.) Citation

Dezani-Ciancaglini, M., Di Cosmo, R., Giovannetti, E., & Tatsuta, M. (2010). On Isomorphisms of Intersection Types. ACM Transactions on Computational Logic, 11(4), 25:1. https://doi.org/10.1145/1805950.1805955

Chicago Style (17th ed.) Citation

Dezani-Ciancaglini, Mariangiola, Roberto Di Cosmo, Elio Giovannetti, and Makoto Tatsuta. "On Isomorphisms of Intersection Types." ACM Transactions on Computational Logic 11, no. 4 (2010): 25:1. https://doi.org/10.1145/1805950.1805955.

MLA (9th ed.) Citation

Dezani-Ciancaglini, Mariangiola, et al. "On Isomorphisms of Intersection Types." ACM Transactions on Computational Logic, vol. 11, no. 4, 2010, p. 25:1, https://doi.org/10.1145/1805950.1805955.