Herramientas Personales
Usted está aquí: Inicio / ICC / Grupos de Investigación / Reescritura, calculo lambda y sistema de tipos
Agenda [Ver +]
Defensa Tesis Licenciatura Nicolás Saravia 17/11/2017 16:00 — Laboratorio 5
Defensa Tesis Licenciatura Ariel Zylber 21/11/2017 17:00 — Aula a confirmar
Charla de la Carrera 28/11/2017 14:00 — Hall Central
 

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)