INVESTIGADORES
BARENBAUM Pablo
datos académicos
Título/s
Doctor en Ciencias de la Computación
Lic. en Ciencias de la Computación
Lic. en Ciencias de la Computación
Categoría
INV ASISTENTE
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-VARIAS
Especialidad
Lenguajes de programación, cálculo lambda, reescritura
Tema
Estrategias de evaluación y lógica lineal
Tema en inglés
Evaluation strategies and linear logic
Palabras clave
cálculo lambda // lógica lineal // estrategias de evaluación
Palabras clave en inglés
lambda calculus // linear logic // evaluation strategies
Director
MELGRATTI, HERNAN CLAUDIO / INV ADJUNTO
Lugar de trabajo
DEPARTAMENTO DE CIENCIA Y TECNOLOGIA -
[UNQ] UNIVERSIDAD NACIONAL DE QUILMES -
[UNQ] UNIVERSIDAD NACIONAL DE QUILMES -
