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
Chicago-Zitierstil (17. Ausg.)Dal Lago, Ugo, und 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.
MLA-Zitierstil (9. Ausg.)Dal Lago, Ugo, und 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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.