Material sobre cálculo lambda tipado

Material sobre cálculo lambda tipado

de Alberto Pardo -
Número de respuestas: 0

Hola,

Era para avisarles que puse el material sobre cálculo lambda tipado: transparencias y unas lecture notes.

Saludos,
Alberto.