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...

Full description

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
id UNACIONAL2_fd9dc623a962fafe69c9712ec4f883c3
oai_identifier_str oai:repositorio.unal.edu.co:unal/33870
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Gómez Perdomo, Jonatan43ef4bd0-7b88-44b2-8a35-e49c549101e5300Castro Rojas, Wilson21de1612-3c1a-49a4-b523-53a35d962b38300Cardona López, Alexander156bd754-479e-4aa1-b154-69a7d4a24e573002019-06-27T23:05:42Z2019-06-27T23:05:42Z1998https://repositorio.unal.edu.co/handle/unal/33870http://bdigital.unal.edu.co/23950/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.application/pdfspaUniversidad Nacional de Colombia - Facultad de Ingenieríahttp://revistas.unal.edu.co/index.php/ingeinv/article/view/21045Universidad Nacional de Colombia Revistas electrónicas UN Ingeniería e InvestigaciónIngeniería e InvestigaciónIngeniería e Investigación; núm. 40 (1998); 72-82 Ingeniería e Investigación; núm. 40 (1998); 72-82 2248-8723 0120-5609Gómez Perdomo, Jonatan and Castro Rojas, Wilson and Cardona López, Alexander (1998) 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 .Programacion funcional y lambda cálculoArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTProgramming languagesSoftware developmentFunctional programmingFunctional languages​​Lambda calculusLenguajes de programaciónDesarrollo de softwareProgramación funcionalLenguajes funcionalesLambda cálculoORIGINAL21045-71298-1-PB.pdfapplication/pdf563669https://repositorio.unal.edu.co/bitstream/unal/33870/1/21045-71298-1-PB.pdfa6bebdba8572886fe27720434abb343aMD51THUMBNAIL21045-71298-1-PB.pdf.jpg21045-71298-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6684https://repositorio.unal.edu.co/bitstream/unal/33870/2/21045-71298-1-PB.pdf.jpg46c4da1d6119afd0ce0fd79e260a611bMD52unal/33870oai:repositorio.unal.edu.co:unal/338702023-12-24 23:05:12.029Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Programacion funcional y lambda cálculo
title Programacion funcional y lambda cálculo
spellingShingle Programacion funcional y lambda cálculo
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
title_short Programacion funcional y lambda cálculo
title_full Programacion funcional y lambda cálculo
title_fullStr Programacion funcional y lambda cálculo
title_full_unstemmed Programacion funcional y lambda cálculo
title_sort Programacion funcional y lambda cálculo
dc.creator.fl_str_mv Gómez Perdomo, Jonatan
Castro Rojas, Wilson
Cardona López, Alexander
dc.contributor.author.spa.fl_str_mv Gómez Perdomo, Jonatan
Castro Rojas, Wilson
Cardona López, Alexander
dc.subject.proposal.spa.fl_str_mv 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
topic 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
description 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.
publishDate 1998
dc.date.issued.spa.fl_str_mv 1998
dc.date.accessioned.spa.fl_str_mv 2019-06-27T23:05:42Z
dc.date.available.spa.fl_str_mv 2019-06-27T23:05:42Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/33870
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/23950/
url https://repositorio.unal.edu.co/handle/unal/33870
http://bdigital.unal.edu.co/23950/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/ingeinv/article/view/21045
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Ingeniería e Investigación
Ingeniería e Investigación
dc.relation.ispartofseries.none.fl_str_mv 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
dc.relation.references.spa.fl_str_mv Gómez Perdomo, Jonatan and Castro Rojas, Wilson and Cardona López, Alexander (1998) 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 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia - Facultad de Ingeniería
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/33870/1/21045-71298-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/33870/2/21045-71298-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv a6bebdba8572886fe27720434abb343a
46c4da1d6119afd0ce0fd79e260a611b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089564447309824