Sustituciones explícitas y todo eso

Archivos

Ayala Rincon, Mauricio_Sustituciones explícitas y todo eso.pdf (360.32 KB)

Fecha

Autores

Ayala Rincón, Mauricio

Muñoz, César

Autores

Ayala Rincón, Mauricio

Editor

Universidad Autónoma de Bucaramanga UNAB

Compartir

Seleccione un PDF para visualizar:

Seleccione un documento PDF para visualizar

Resumen

Los cálculos de sustitución explícitos son extensiones del cálculo donde el mecanismo de sustitución se internaliza en la teoría. Esta característica los hace adecuados para la implementación y el estudio teórico de herramientas basadas en lógica como lenguajes de programación fuertemente tipados y sistemas de asistente de prueba.

Palabras clave

Innovaciones tecnológicas; Ciencias de la Computación; Desarrollo tecnológico; Ingeniería de sistemas; Investigaciones

Keywords

Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Clean Sustitución; Orden superior; Teoría de la reescritura; Programacion

Enlace al recurso

https://revistas.unab.edu.co/index.php/rcc/article/view/1128

Fuente del recurso

Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 46-72

URI

http://hdl.handle.net/20.500.12749/9084

Colecciones

Revista Colombiana de Computación

Licencia Creative Commons

Atribución-NoComercial-SinDerivadas 2.5 Colombia

Excepto donde se indique lo contrario, la licencia de este ítem se describe como Atribución-NoComercial-SinDerivadas 2.5 Colombia

Página completa del ítem

Enviar comentarios o sugerencias