APA (7th ed.) Citation

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 Style (17th ed.) Citation

Laird, Jim, Giulio Manzonetto, Guy McCusker, and 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 (9th ed.) Citation

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.