Hola,
Está disponible el video de la 3ra clase sobre cálculo lambda. Esta fue la última clase del curso. En ella vimos cálculo lambda simplemente tipado y sistema F.
El video de la clase anterior (la del martes 15/11) no la vamos subir porque no quedó bien grabada. En esa clase habíamos visto cálculo lambda simplemente tipado.
Saludos,
Alberto.