Herramientas Personales
Usted está aquí: Inicio / Investigación / Grupos de Investigación / Reescritura, calculo lambda y sistema de tipos

Reescritura, cálculo lambda y sistemas de tipos

res.

 

  • 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)