APA-Zitierstil (7. Ausg.)

Laird, J., Manzonetto, G., McCusker, G., & Pagani, M. (2013, January). Weighted Relational Models of Typed Lambda-Calculi. 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 301-310. https://doi.org/10.1109/LICS.2013.36

Chicago-Zitierstil (17. Ausg.)

Laird, Jim, Giulio Manzonetto, Guy McCusker, und Michele Pagani. "Weighted Relational Models of Typed Lambda-Calculi." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science Jan. 2013: 301-310. https://doi.org/10.1109/LICS.2013.36.

MLA-Zitierstil (9. Ausg.)

Laird, Jim, et al. "Weighted Relational Models of Typed Lambda-Calculi." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jan. 2013, pp. 301-310, https://doi.org/10.1109/LICS.2013.36.