BECAS
LERENA Leopoldo
datos académicos
Título/s
Licenciado en Ciencias Matemáticas
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-OTRAS
Especialidad
Semántica de lenguajes de programación
Tema
Contenido computacional de la lógica clásica a través de cálculos con verificaciones y refutaciones.
Palabras clave en inglés
LAMBDA-CALCULUS // CLASSICAL LOGIC // PROPOSITIONS-AS-TYPES
Director
MELGRATTI, HERNAN CLAUDIO / INV ADJUNTO
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 -
