Programacion funcional y lambda cálculo
oleh: Jonatan Gómez Perdomo, Wilson Castro Rojas, Alexander Cardona López
| Format: | Article |
|---|---|
| Diterbitkan: | Universidad Nacional de Colombia 1998-05-01 |
Deskripsi
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.