Bongiovanni, M�nica <br/><br/>
Teor�a de tipos y Coq en la ense�anza de Programaci�n Funcional e Imperativa 

<br/><br/><label>Standard No.: </label>DIF-M3682