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...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1998 |
| País: | Colombia |
| Institución: | Universidad Nacional de Colombia |
| Repositorio: | Repositorio UN |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.unal.edu.co:unal/33870 |
| Acceso en línea: | https://repositorio.unal.edu.co/handle/unal/33870 http://bdigital.unal.edu.co/23950/ |
| Access Level: | acceso abierto |
| Palabra clave: | Programming languages Software development Functional programming Functional languages Lambda calculus Lenguajes de programación Desarrollo de software Programación funcional Lenguajes funcionales Lambda cálculo |
| Sumario: | 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. |
|---|