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:
-
Gómez Perdomo, Jonatan
Castro Rojas, Wilson
Cardona López, Alexander
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1998
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- 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/
- 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
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional