Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.