del 22 al 30 de junio, 1998.
Universidad de La Plata
Clase 1: Introducción al cálculo lambda simplemente tipado. Propiedades: Church-Rosser, Reducción del Sujeto, Normalizacion Fuerte y Unicidad de Tipos. Un Algoritmo de chequeo de tipos.
Clase 2: Cálculo lambda simplemente tipado con subtipos. Propiedades: Eliminación de Transitividad e Inversión de Reglas.
Clase 3: Cálculos de objetos de primer orden de Abadi y Cardelli: no tipado y tipado. Codificación del cálculo lambda. Codificación de tipos de datos.
Clase 4: Extensión del cálculo de objetos de primer orden de Abadi y Cardelli con reescritura algebraica. Ejemplo: un editor de líneas.
Clase 5: Cálculos lambda de segundo orden y de orden superior con subtipos. Un algoritmo para chequear subtipos. Decidibilidad de la relación de subtipo.