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
Citácia podle Chicago (17th ed.)Brunel, Aloïs, a 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.
Citácia podľa MLA (8th ed.)Brunel, Aloïs, a 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..