APA (7th ed.) Citation

Dezani-Ciancaglini, M., Severi, P., & de Vries, F. (2003). Infinitary lambda calculus and discrimination of Berarducci trees. Theoretical Computer Science, 298(2), 275. https://doi.org/10.1016/S0304-3975(02)00809-5

Chicago Style (17th ed.) Citation

Dezani-Ciancaglini, Mariangiola, Paula Severi, and Fer-Jan de Vries. "Infinitary Lambda Calculus and Discrimination of Berarducci Trees." Theoretical Computer Science 298, no. 2 (2003): 275. https://doi.org/10.1016/S0304-3975(02)00809-5.

MLA (9th ed.) Citation

Dezani-Ciancaglini, Mariangiola, et al. "Infinitary Lambda Calculus and Discrimination of Berarducci Trees." Theoretical Computer Science, vol. 298, no. 2, 2003, p. 275, https://doi.org/10.1016/S0304-3975(02)00809-5.