Reescritura, cálculo lambda y sistemas de tipos
- Areas de trabajo
Reescritura
Cálculo lambda
Sustituciones explícitas
Sistemas y teoría de tipos
Teoría de pruebas
Cálculos con patrones
- Integrantes
Dr. Ariel Arbiser (investigador director)
Dr. Alejandro Ríos (investigador director)
Dr. Eduardo Bonelli (investigador)
Lic. Gabriela Steren (tesista de doctorado)
Carlos Lombardi (tesista)
Lic. Lucio Santi
Lic. Andrés Viso
Pablo Barembaum
- Trabajos publicados
(lista en proceso de modificación - ver páginas web personales)
