TY  - GEN
AU  - Bongiovanni,Mónica
TI  - Teoría de tipos y Coq en la enseñanza de Programación Funcional e Imperativa
ER  -