Bonelli, E. (2005). Normalisation for higher-order calculi with explicit substitutions. Web
Citación estilo ChicagoBonelli, Eduardo. Normalisation for Higher-order Calculi With Explicit Substitutions. 2005.
Cita MLABonelli, Eduardo. Normalisation for Higher-order Calculi With Explicit Substitutions. 2005.
Precaución: Estas citas no son 100% exactas.