de Bruijn indices for metaterms

Título:

de Bruijn indices for metaterms

Autor:

Bonelli, Eduardo

Colaboradores:

; Kesner, Delia; Rios, Alejandro

Temas:

SISTEMAS DE REESCRITURA

En:

Journal of Logic and Computation, 15(6), pp. 855-899

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.

URL/DOI:

http://dx.doi.org/10.1093/logcom/exi051

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (417,3 kB)

Idioma:

Inglés

Publicación:

Oxford University Press, 2005

Puede solicitar más fácilmente el ejemplar con: A0284

Ver estantes