Published
Programación funcional y lambda cálculo
DOI:
https://doi.org/10.15446/ing.investig.n40.21045Keywords:
Lenguajes de programación, Desarrollo de software, Programación funcional, Lenguajes funcionales, Lambda cálculo (es)Programming languages, Software development, Functional programming, Functional languages, Lambda calculus (en)
Downloads
En la primera parte de este artículo se explican algunos conceptos de los lenguajes de programación, haciendo énfasis en las características 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.
References
Barendregt, H. P. “Studies in logic. and the foundations of mathematics - The Lambda Calculus “. Vol. 103. Amsterdam; North-Holland, 1984.
Gunter, Carl A. “Semantic of Programming Languages - Structures and Techniques -”, MIT Press, 1992.
Glaser, Edward L. “Dictionary of Computing”, Oxford University Press. Oxford. 2a. Edición. 1986.
Sethi, Ravi. “Lenguajes de Programación. -Conceptos y Constructores-”. Adisson Wesley. 1992.
Wikström, Åke. “Functional Programming Using Standard ML”. Prentice Hall International, Cambridge, 1987.
Dimensions
PlumX
Article abstract page views
Downloads
How to Cite
License
Copyright (c) 1998 Jonatan Gómez Perdomo, Wilson Castro Rojas, Alexander Cardona López
This work is licensed under a Creative Commons Attribution 4.0 International License.
The authors or holders of the copyright for each article hereby confer exclusive, limited and free authorization on the Universidad Nacional de Colombia's journal Ingeniería e Investigación concerning the aforementioned article which, once it has been evaluated and approved, will be submitted for publication, in line with the following items:
1. The version which has been corrected according to the evaluators' suggestions will be remitted and it will be made clear whether the aforementioned article is an unedited document regarding which the rights to be authorized are held and total responsibility will be assumed by the authors for the content of the work being submitted to Ingeniería e Investigación, the Universidad Nacional de Colombia and third-parties;
2. The authorization conferred on the journal will come into force from the date on which it is included in the respective volume and issue of Ingeniería e Investigación in the Open Journal Systems and on the journal's main page (https://revistas.unal.edu.co/index.php/ingeinv), as well as in different databases and indices in which the publication is indexed;
3. The authors authorize the Universidad Nacional de Colombia's journal Ingeniería e Investigación to publish the document in whatever required format (printed, digital, electronic or whatsoever known or yet to be discovered form) and authorize Ingeniería e Investigación to include the work in any indices and/or search engines deemed necessary for promoting its diffusion;
4. The authors accept that such authorization is given free of charge and they, therefore, waive any right to receive remuneration from the publication, distribution, public communication and any use whatsoever referred to in the terms of this authorization.
