APA (7th ed.) Citation

Brunel, A., & Gaboardi, M. (2015). Realizability models for a linear dependent PCF. Theoretical computer science, 585, 55-70. https://doi.org/10.1016/j.tcs.2015.03.005

Chicago Style (17th ed.) Citation

Brunel, Aloïs, and Marco Gaboardi. "Realizability Models for a Linear Dependent PCF." Theoretical Computer Science 585 (2015): 55-70. https://doi.org/10.1016/j.tcs.2015.03.005.

MLA (9th ed.) Citation

Brunel, Aloïs, and Marco Gaboardi. "Realizability Models for a Linear Dependent PCF." Theoretical Computer Science, vol. 585, 2015, pp. 55-70, https://doi.org/10.1016/j.tcs.2015.03.005.