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
Otros Autores: Kesner, Delia
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
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesis&d=tesis_n3651_Bonelli_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares