Reescritura de términos y sustituciones explícitas

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 Augusto
Otros Autores: Kesner, Delia Nora
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 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