Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Programacion funcional y lambda cálculo

Gómez Perdomo, Jonatan and Castro Rojas, Wilson and Cardona López, Alexander (2011) Programacion funcional y lambda cálculo. Ingeniería e Investigación; núm. 40 (1998); 72-82 Ingeniería e Investigación; núm. 40 (1998); 72-82 2248-8723 0120-5609 .

Texto completo

[img]
Vista previa
PDF
563kB

URL oficial: http://revistas.unal.edu.co/index.php/ingeinv/arti...

Resumen

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.

Tipo de documento:Artículo - Article
Información adicional:Los autores o titulares del derecho de autor de cada artículo confieren a la revista Ingeniería e Investigación de la Universidad Nacional de Colombia una autorización no exclusiva, limitada y gratuita sobre el artículo que una vez evaluado y aprobado se envía para su posterior publicación ajustándose a las siguientes características: 1.    Se remite la versión corregida de acuerdo con las sugerencias de los evaluadores y se aclara que el artículo mencionado se trata de un documento inédito sobre el que se tienen los derechos que se autorizan y se asume total responsabilidad por el contenido de su obra ante la revista Ingeniería e Investigación, la Universidad Nacional de Colombia y ante terceros. 2.    La autorización conferida a la revista estará vigente a partir de la fecha en que se incluye en el volumen y número respectivo de la revista Ingeniería e Investigación en el Sistema Open Journal Systems y en la página principal de la revista (www.revistaingenieria.unal.edu.co), así como en las diferentes bases e índices de datos en que se encuentra indexada la publicación. 3.    Los autores autorizan a la revista Ingeniería e Investigación de la Universidad Nacional de Colombia para publicar el documento en el formato en que sea requerido (impreso, digital, electrónico o cualquier otro conocido o por conocer) y autorizan a la revista Ingeniería e Investigación para incluir la obra en los índices y buscadores que estimen necesarios para promover su difusión. 4.    Los autores aceptan que la autorización se hace a título gratuito, por lo tanto renuncian a recibir emolumento alguno por la publicación, distribución, comunicación pública y cualquier otro uso que se haga en los términos de la presente autorización.
Palabras 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
Unidad administrativa:Revistas electrónicas UN > Ingeniería e Investigación
Código ID:23950
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :27 Junio 2014 15:12
Ultima modificación:18 Agosto 2014 16:34
Ultima modificación:18 Agosto 2014 16:34
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox