Programacion funcional y lambda cálculo
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 elem...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional de Colombia
1998-05-01
|
| Series: | Ingeniería e Investigación |
| Subjects: | |
| Online Access: | https://revistas.unal.edu.co/index.php/ingeinv/article/view/21045 |