APA (7th ed.) Citation

Downen, P., Johnson-Freyd, P., & Ariola, Z. M. (2020). Abstracting models of strong normalization for classical calculi. Journal of logical and algebraic methods in programming, 111(C), 100512. https://doi.org/10.1016/j.jlamp.2019.100512

Chicago Style (17th ed.) Citation

Downen, Paul, Philip Johnson-Freyd, and Zena M. Ariola. "Abstracting Models of Strong Normalization for Classical Calculi." Journal of Logical and Algebraic Methods in Programming 111, no. C (2020): 100512. https://doi.org/10.1016/j.jlamp.2019.100512.

MLA (9th ed.) Citation

Downen, Paul, et al. "Abstracting Models of Strong Normalization for Classical Calculi." Journal of Logical and Algebraic Methods in Programming, vol. 111, no. C, 2020, p. 100512, https://doi.org/10.1016/j.jlamp.2019.100512.