Examinando por Autor "Lobo Vesga, Elisabet"
Mostrando 1 - 3 de 3
Resultados por página
Opciones de ordenación
Ítem Formalization of Programs with Positive Inductive Types(Universidad EAFIT, Medellín, Colombia, 2014-11) Lobo Vesga, Elisabet; Elizabet Lobo-Vesga (elobove@eafit.edu.co)Ítem Hacia la formalización del razonamiento ecuacional sobre mónadas(Universidad EAFIT, 2013-05) Lobo Vesga, Elisabet; Elisabet Lobo Vesga (elobove@eafit.edu.co)Ítem Razonando acerca de programas funcionales(Universidad EAFIT, 2012-11) Lobo Vesga, Elisabet; Elisabet Lobo Vesga (elobove@eafit.edu.co)