Cita APA (7a ed.)
WADLER, P. (2015). Propositions as Types. Communications of the ACM, 58(12), 75-85.
Cita Chicago Style (17a ed.)
WADLER, PHILIP. "Propositions as Types." Communications of the ACM 58, no. 12 (2015): 75-85.
Cita MLA (9a ed.)
WADLER, PHILIP. "Propositions as Types." Communications of the ACM, vol. 58, no. 12, 2015, pp. 75-85.
Precaución: Estas citas no son 100% exactas.