Programacion funcional y lambda cálculo

• Autores: Jonatan Gómez Perdomo, Wilson Castro Rojas, Alexander Cardona López
• Localización: Ingeniería e Investigación, ISSN-e 2248-8723, ISSN 0120-5609, Nº. 40, 1998, págs. 72-82
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • En la primera parte de este artículo se explican algunos conceptos de los lenguajes de programación, haciendo énfasis en las caracteristicas y propiedades de los lenguajes de programación funcional. En la segunda, se realiza una introducción al lambda cálculo puro, su notación, axiomas y reglas elementales.