Comentarios del curso: Reescritura, Cálculo-Lambda y Tipos