Artículos de revistas
Programacion funcional y lambda cálculo
Date
1998Author
Gómez Perdomo, Jonatan
Castro Rojas, Wilson
Cardona López, Alexander
Institutions
Abstract
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.