Bonelli, E. (2005). Normalisation for higher-order calculi with explicit substitutions.
Cita Chicago Style (17a ed.)Bonelli, Eduardo. Normalisation for Higher-order Calculi with Explicit Substitutions. 2005.
Cita MLA (8a ed.)Bonelli, Eduardo. Normalisation for Higher-order Calculi with Explicit Substitutions. 2005.
Precaución: Estas citas no son 100% exactas.