APA (7th ed.) Citation

Pimentel, E., Ronchi Della Rocca, S., & Roversi, L. (2012). Intersection Types from a Proof-theoretic Perspective. Fundamenta Informaticae, 121(1-4), 253. https://doi.org/10.3233/fi-2012-778

Chicago Style (17th ed.) Citation

Pimentel, Elaine, Simona Ronchi Della Rocca, and Luca Roversi. "Intersection Types from a Proof-theoretic Perspective." Fundamenta Informaticae 121, no. 1-4 (2012): 253. https://doi.org/10.3233/fi-2012-778.

MLA (9th ed.) Citation

Pimentel, Elaine, et al. "Intersection Types from a Proof-theoretic Perspective." Fundamenta Informaticae, vol. 121, no. 1-4, 2012, p. 253, https://doi.org/10.3233/fi-2012-778.