Sustituciones explícitas y todo eso

View/Open

Artículo (360.3Kb)

Date

2000-12-01

Author

Ayala Rincón, Mauricio

Gestores bibliográficos

.bib (BibTeX, CiteULike)

.ris (Mendeley, Zotelo)

.rfw (Refworks)

Metadata

Show full item record

Documents PDF

Abstract

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.

Lemb keywords

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

Link to resource

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

Source

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

Comments

Collections

Revista Colombiana de Computación [327]

Atribución-NoComercial-SinDerivadas 2.5 Colombia

Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 2.5 Colombia