BECAS
SOTTILE Cristian FabiÁn
datos académicos
Título/s
Analista Programador Universitario
Licenciado en Informática
Licenciado en Informática
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
MATEMATICA-FUNDAMENTOS Y LOGICA
Especialidad
Fundamentos de lenguajes de programación
Tema
Hacia una implementación práctica de lenguajes de programación igualando tipos isomorfos
Tema en inglés
Towards a practical implementation of programming languages identifying isomorphic types
Palabras clave
TEORÍA DE TIPOS // LAMBDA CÁLCULO // ISOMORFISMOS
Palabras clave en inglés
TYPE THEORY // LAMBDA CALCULUS // ISOMORPHISMS
Director
DÍAZ CARO, ALEJANDRO / INV ADJUNTO
Co-director
MARTÍNEZ LÓPEZ, PABLO ERNESTO
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
