MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
01822naa a2200265 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240131183110.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s2005 xx do 000 0 eng d |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF005927 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Bonelli, Eduardo |
| 9 (RLIN) |
251743 |
| 245 10 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Relating higher-order and first-order rewriting |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
ref_localidad@NULL : |
| Nombre del editor, distribuidor, etc. |
Oxford University Press, |
| Fecha de publicación, distribución, etc. |
2005 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 archivo (435,2 KB) |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
We define a formal encoding from higher-order rewriting into first-order rewriting modulo an equational theory E. In particular, we obtain a characterization of the class of higher-order rewriting systems which can be encoded by first-order rewriting modulo an empty equational theory (that is, E = ∅). This class includes of course the λ-calculus. Our technique does not rely on the use of a particular substitution calculus but on an axiomatic framework of explicit substitutions capturing the notion of substitution in an abstract way. The axiomatic framework specifies the properties to be verified by a substitution calculus used in the translation. Thus, our encoding can be viewed as a parametric translation from higher-order rewriting into first-order rewriting, in which the substitution calculus is the parameter of the translation. |
| 534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL |
|---|
| Encabezamiento principal del original |
Journal of Logic and Computation, 15(6), pp. 901-947 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
SISTEMAS DE REESCRITURA |
| 9 (RLIN) |
253052 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Kesner, Delia |
| 9 (RLIN) |
256860 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Rios, Alejandro |
| 9 (RLIN) |
256861 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href="http://dx.doi.org/ 10.1093/logcom/exi050">http://dx.doi.org/ 10.1093/logcom/exi050</a> |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=545"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=545</a> |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Capítulo de libro |