INVESTIGADORES
BONELLI Eduardo Augusto
artículos
Título:
De Bruijn Indices for Metaterms
Autor/es:
EDUARDO BONELLI, DELIA KESNER, ALEJANDRO RÍOS
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
Oxford University Press
Referencias:
Año: 2005 vol. 15 p. 855 - 899
ISSN:
0955-792X
Resumen:
In this paper we encode higher-order rewriting with names into higher-order rewriting in de Bruijn notation. This notation not only is defined for terms (as usually done in the literature) but also for metaterms, which are the syntactical objects used to express the rewriting rules of higher-order systems. Several examples are discussed. Fundamental properties such as confluence and normalisation are shown to be preserved.
