Examinando por Materia "Positive Types"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Publicación Formalization of Programs with Positive Inductive Types(Universidad EAFIT, Medellín, Colombia, 2014-11) Lobo Vesga, Elisabet; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Elizabet Lobo-Vesga (elobove@eafit.edu.co)