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
Citace podle Chicago (17th ed.)Laird, Jim, Giulio Manzonetto, Guy McCusker, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..