Directorios

Enlace: http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/

Descripción: Introducción al sistema matemático formal Lambda Calculus, que ha ejercido cierta influencia en muchos lenguajes de programación, Lisp, Haskell, Miranda, ML, etc.

Palabras clave: LENGUAJES DE PROGRAMACIÓN,SISTEMAS MATEMÁTICOS,