dc.creator | Gómez Perdomo, Jonatan | |
dc.creator | Castro Rojas, Wilson | |
dc.creator | Cardona López, Alexander | |
dc.date.accessioned | 2019-06-27T23:05:42Z | |
dc.date.accessioned | 2022-09-21T15:18:52Z | |
dc.date.available | 2019-06-27T23:05:42Z | |
dc.date.available | 2022-09-21T15:18:52Z | |
dc.date.created | 2019-06-27T23:05:42Z | |
dc.date.issued | 1998 | |
dc.identifier | https://repositorio.unal.edu.co/handle/unal/33870 | |
dc.identifier | http://bdigital.unal.edu.co/23950/ | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/3378327 | |
dc.description.abstract | 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. | |
dc.language | spa | |
dc.publisher | Universidad Nacional de Colombia - Facultad de Ingeniería | |
dc.relation | Universidad Nacional de Colombia Revistas electrónicas UN Ingeniería e Investigación | |
dc.relation | Ingeniería e Investigación | |
dc.relation | 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 | 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.relation | http://revistas.unal.edu.co/index.php/ingeinv/article/view/21045 | |
dc.rights | Atribución-NoComercial 4.0 Internacional | |
dc.rights | http://creativecommons.org/licenses/by-nc/4.0/ | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.rights | Derechos reservados - Universidad Nacional de Colombia | |
dc.title | Programacion funcional y lambda cálculo | |
dc.type | Artículos de revistas | |