APA (7th ed.) Citation

della Rocca, S., & Roversi, L. (1997). Lambda Calculus and Intuitionistic Linear Logic. Studia Logica, 59(3), 417. https://doi.org/10.1023/A:1005092630115

Chicago Style (17th ed.) Citation

della Rocca, Simona, and Luca Roversi. "Lambda Calculus and Intuitionistic Linear Logic." Studia Logica 59, no. 3 (1997): 417. https://doi.org/10.1023/A:1005092630115.

MLA (9th ed.) Citation

della Rocca, Simona, and Luca Roversi. "Lambda Calculus and Intuitionistic Linear Logic." Studia Logica, vol. 59, no. 3, 1997, p. 417, https://doi.org/10.1023/A:1005092630115.