Reescritura de términos y sustituciones explícitas

Mostrar todas las versiones(2)

La operación de sustitución constituye un engranaje básico en los fundamentos de la teoría de lenguajes de programación. Juega un rol central en el lambda cálculo (por ende, en lenguajes de programación funcional), en unificación de primer orden y de orden superior (por ende, en lenguajes de program...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Bonelli, Eduardo
Formato: Tesis Doctoral
Lenguaje:Inglés
Publicado: 2003
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n3651_Bonelli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares