APA (7th ed.) Citation

Castagna, G., Ghelli, G., & Longo, G. (1995). A Calculus for Overloaded Functions with Subtyping. Information and computation, 117(1), 115-135. https://doi.org/10.1006/inco.1995.1033

Chicago Style (17th ed.) Citation

Castagna, G., G. Ghelli, and G. Longo. "A Calculus for Overloaded Functions with Subtyping." Information and Computation 117, no. 1 (1995): 115-135. https://doi.org/10.1006/inco.1995.1033.

MLA (9th ed.) Citation

Castagna, G., et al. "A Calculus for Overloaded Functions with Subtyping." Information and Computation, vol. 117, no. 1, 1995, pp. 115-135, https://doi.org/10.1006/inco.1995.1033.