Documentos de Académico
Documentos de Profesional
Documentos de Cultura
008 - Calculo Lambda
008 - Calculo Lambda
CALCULO LAMBDA
El clculo lambda fue desarrollado por Alonso Church en la dcada del 30 con el objeto de dar una teora general de las funciones. El clculo lambda ha sido empleado como fundamento conceptual de los lenguajes de programacin, aportando: una sintaxis bsica una semntica para el concepto de funcin como proceso de transformacin de argumentos en resultados un medio para definir primitivas de programacin