Eventos for 20 noviembre, 2020

Título: Semántica dinámica de cálculos de sustituciones explícitas a distancia Directores: Eduardo Bonelli y Delia Kesner. Jurados: Dr. Nazareno Aguirre (Universidad de Río Cuarto y CONICET) Dr. Zena Ariola (University of Oregon) Dr. Alexandre Miquel (Universidad de la República / Fing / IMERL) Resumen: Los cálculos de sustituciones explícitas son variantes del cálculo-lambda en los que la operación de sustitución no se define a nivel del metalenguaje, sino con reglas de reescritura [...]