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 en semántica de lenguajes de programación y conexiones con la lógica
Tema en inglés
Evaluation strategies in programming language semantics and their connections with logic
Palabras clave
cálculo lambda // lógica lineal // estrategias de evaluación
Palabras clave en inglés
lambda calculus // 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 -
