PFA: slides lambda-cálculo y lambda-cálculo tipado

Hola,

Están visibles las slides de las clases sobre cálculo lambda y cálculo lambda tipado.

También hay un link a un artículo sobre estos temas.

Saludos,
Alberto.

General ►