APA (7th ed.) Citation

GUERRIERI, G., PAOLINI, L., & ROCCA, S. R. D. (2017). STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS. Logical Methods in Computer Science (LMCS), 13(4), 1. https://doi.org/10.23638/LMCS-13(4:29)2017

Chicago Style (17th ed.) Citation

GUERRIERI, GIULIO, LUCA PAOLINI, and SIMONA RONCHI DELLA ROCCA. "STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS." Logical Methods in Computer Science (LMCS) 13, no. 4 (2017): 1. https://doi.org/10.23638/LMCS-13(4:29)2017.

MLA (9th ed.) Citation

GUERRIERI, GIULIO, et al. "STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS." Logical Methods in Computer Science (LMCS), vol. 13, no. 4, 2017, p. 1, https://doi.org/10.23638/LMCS-13(4:29)2017.