Examinando por Materia "Positive Types"
Mostrando 1 - 1 de 1
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)