APA (7th ed.) Citation

Gaboardi, M., & Piccolo, M. (2014). What is a model for a semantically linear λ-calculus? Journal of Logic & Computation, 24(3), 557. https://doi.org/10.1093/logcom/exs023

Chicago Style (17th ed.) Citation

Gaboardi, Marco, and Mauro Piccolo. "What Is a Model for a Semantically Linear λ-calculus?" Journal of Logic & Computation 24, no. 3 (2014): 557. https://doi.org/10.1093/logcom/exs023.

MLA (9th ed.) Citation

Gaboardi, Marco, and Mauro Piccolo. "What Is a Model for a Semantically Linear λ-calculus?" Journal of Logic & Computation, vol. 24, no. 3, 2014, p. 557, https://doi.org/10.1093/logcom/exs023.