Dal Lago, U., & Petit, B. (2014). Linear dependent types in a call-by-value scenario. Science of computer programming, 84, 77-100. https://doi.org/10.1016/j.scico.2013.07.010
Citácia podle Chicago (17th ed.)Dal Lago, Ugo, a Barbara Petit. "Linear Dependent Types in a Call-by-value Scenario." Science of Computer Programming 84 (2014): 77-100. https://doi.org/10.1016/j.scico.2013.07.010.
Citácia podľa MLA (8th ed.)Dal Lago, Ugo, a Barbara Petit. "Linear Dependent Types in a Call-by-value Scenario." Science of Computer Programming, vol. 84, 2014, pp. 77-100, https://doi.org/10.1016/j.scico.2013.07.010.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..