Sustituciones explícitas y todo eso

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

Full description

Autores:

Ayala Rincón, Mauricio
Muñoz, César

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2000

Institución:

Universidad Autónoma de Bucaramanga - UNAB

Repositorio:

Repositorio UNAB

Idioma:

spa

OAI Identifier:

oai:repository.unab.edu.co:20.500.12749/9084

Acceso en línea:

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

Palabra clave:

Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
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
Innovaciones tecnológicas
Ciencias de la Computación
Desarrollo tecnológico
Ingeniería de sistemas
Investigaciones
Sustitución explícita
Orden superior
Teoría de la reescritura
Programación

Rights

License

Derechos de autor 2000 Revista Colombiana de Computación