Introducción a Cálculo Lambda

Un recorrido por el cálculo lambda construyendo árboles de sintaxis con las manos. Las lecciones se sugieren en orden, pero podés saltar a la parte que quieras.