Denifle menciona una residencia universitaria creada por Carvajal en Salamanca.