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