Examinando por Materia "Asistente de pruebas"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Publicación Teoría de categorías aplicada a la programación funcional con Agda.(Universidad EAFIT, Medellín, Colombia, 2011-02) Villa-Isaza, Juan Pedro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Juan Pedro Villa-Isaza (jvillais@eafit.edu.co)