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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..