root.skip-to-content
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Comunidades
Listar por
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Inicio
Investigación
Escuela de Ciencias Aplicadas e Ingeniería
Lógica y Computación
Documentos de trabajo (working papers)
Examinar por materia
Documentos de trabajo (working papers)
URI permanente para esta colección
https://hdl.handle.net/10784/4548
Examinar
Envíos recientes
Por fecha de publicación
Por autor
Por titulo
Por materia
Por tipo de documento
Por categoría
Envíos recientes
Por fecha de publicación
Por autor
Por titulo
Por materia
Por tipo de documento
Por categoría
Examinando Documentos de trabajo (working papers) por Materia "Positive Types"
Examinar
Todos los resultados de la búsqueda
Mostrando
1 - 1 de 1
Resultados por página
1
5
10
20
40
60
80
100
Opciones de ordenación
Ascendente
Descendente
No hay miniatura disponible
Í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)
Más...