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