APA (7th ed.) Citation

Colson, L., & Michel, D. (2009). Pedagogical second-order λ -calculus. Theoretical computer science, 410(42), 4190-4203. https://doi.org/10.1016/j.tcs.2009.04.020

Chicago Style (17th ed.) Citation

Colson, Loïc, and David Michel. "Pedagogical Second-order λ -calculus." Theoretical Computer Science 410, no. 42 (2009): 4190-4203. https://doi.org/10.1016/j.tcs.2009.04.020.

MLA (9th ed.) Citation

Colson, Loïc, and David Michel. "Pedagogical Second-order λ -calculus." Theoretical Computer Science, vol. 410, no. 42, 2009, pp. 4190-4203, https://doi.org/10.1016/j.tcs.2009.04.020.