Espírito Santo, J., Matthes, R., Nakazawa, K., & Pinto, L. (2014). Confluence for classical logic through the distinction between values and computations. Electronic proceedings in theoretical computer science, 164(Proc. CL&C 2014), 63-77. https://doi.org/10.4204/EPTCS.164.5
Chicago-Zitierstil (17. Ausg.)Espírito Santo, José, Ralph Matthes, Koji Nakazawa, und Luís Pinto. "Confluence for Classical Logic Through the Distinction Between Values and Computations." Electronic Proceedings in Theoretical Computer Science 164, no. Proc. CL&C 2014 (2014): 63-77. https://doi.org/10.4204/EPTCS.164.5.
MLA-Zitierstil (9. Ausg.)Espírito Santo, José, et al. "Confluence for Classical Logic Through the Distinction Between Values and Computations." Electronic Proceedings in Theoretical Computer Science, vol. 164, no. Proc. CL&C 2014, 2014, pp. 63-77, https://doi.org/10.4204/EPTCS.164.5.