TY - SER AU - Gomez Perdomo,Jonatan AU - Castro Rojas,Wilson AU - Cardona Lopez,Alexander TI - Programacion Funcional y Lamda Calculo SN - 0120-5609 KW - LENGUAJES DE PROGRAMACION (COMPUTADORES ELECTRONICOS) KW - FORMA DE BACKUPS - NAUR KW - PROGRAMACION FUNCIONAL N2 - En la primera parte de este articulo se explican algnos conceptos de los lenguajes de programacion funcional, haciendo enfasis en las caracteristicas y propiedades de los lenguajes de programacion funcional. En la segunada se realiza una introduccion al lambda calculo puro, su notacion, axiomas y reglas elementales ER -