Buscar
Mostrando ítems 1-1 de 1
Sustituciones explícitas y todo eso
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Tipo de documento: Artículo
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 ...