Cita APA (7a ed.)
GABBAY, M. (2011). A PROOF-THEORETIC TREATMENT OF λ-REDUCTION WITH CUT-ELIMINATION: λ-CALCULUS AS A LOGIC PROGRAMMING LANGUAGE. Journal of Symbolic Logic, 76(2), 673-700.
Cita Chicago Style (17a ed.)
GABBAY, MICHAEL. "A PROOF-THEORETIC TREATMENT OF λ-REDUCTION WITH CUT-ELIMINATION: λ-CALCULUS AS A LOGIC PROGRAMMING LANGUAGE." Journal of Symbolic Logic 76, no. 2 (2011): 673-700.
Cita MLA (9a ed.)
GABBAY, MICHAEL. "A PROOF-THEORETIC TREATMENT OF λ-REDUCTION WITH CUT-ELIMINATION: λ-CALCULUS AS A LOGIC PROGRAMMING LANGUAGE." Journal of Symbolic Logic, vol. 76, no. 2, 2011, pp. 673-700.
Precaución: Estas citas no son 100% exactas.