Examinando por Autor "Villa-Isaza, Juan Pedro"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Ítem Teoría de categorías aplicada a la programación funcional con Agda.(Universidad EAFIT, Medellín, Colombia, 2011-02) Villa-Isaza, Juan Pedro; Juan Pedro Villa-Isaza (jvillais@eafit.edu.co)