Estrategias de Reducción en la Normalización de Términos Lambda y sus Efectos en el Uso del Montón