A de bruijn notation for higher-order rewriting

We propose a formalism for higher-order rewriting in de Bruijn notation. This notation not only is used for terms (as usually done in the literature) but also for metaterms, which are the syntactical objects used to express general higher-order rewrite systems. We give formal translations from highe...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bonelli, E., Kesner, D., Ríos, A., Bachmair L.
Formato: SER
Materias:
Artificial intelligence
Computers
De Bruijn
De-Bruijn indices
Higher-order rewrite system
Higher-order rewriting
Meta-terms
Program translators
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v1833_n_p62_Bonelli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares