de Bruijn indices for metaterms
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Capítulo de libro |
| Lengua: | inglés |
| Temas: | |
| Acceso en línea: | http://dx.doi.org/10.1093/logcom/exi051 Consultar en el Cátalogo |
| 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. |
| Notas: | Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
| Descripción Física: | 1 archivo (417,3 kB) |
| DOI: | 10.1093/logcom/exi051 |