Estimados,
El martes pasado solamente asistió un estudiante a la clase, por lo tanto decidimos no dictarla.
En el día de hoy voy a dictar el teórico de Curry-Howard (el que correspondia al martes pasado) y avanzar lo más que pueda en Inducción y recursión.
Saludos,
Gustavo