Cita APA (7a ed.)

Bonelli, E. (2003). A normalisation result for higher-order calculi with explicit substitutions.

Cita Chicago Style (17a ed.)

Bonelli, Eduardo. A Normalisation Result for Higher-order Calculi with Explicit Substitutions. 2003.

Cita MLA (8a ed.)

Bonelli, Eduardo. A Normalisation Result for Higher-order Calculi with Explicit Substitutions. 2003.