MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
02158naa 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 |
20240131170532.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 |
230201s2003 gw do 000 0 eng d |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF002275 |
| 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 |
A normalisation result for higher-order calculi with explicit substitutions |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
ref_localidad@37940 : |
| Nombre del editor, distribuidor, etc. |
, |
| Fecha de publicación, distribución, etc. |
2003 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
^p Datos electrónicos (1 archivo : 323 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.) -- Disponible también en línea vía suscripción BECyT (Cons. 10-03-2008) |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
Explicit substitutions (ES) were introduced as a bridge between the theory of rewrite systems with binders and substitution, such as the λ-calculus, and their implementation. In a seminal paper P.- A. Melli`es observed that the dynamical properties of a rewrite system and its ES-based implementation may not coincide: he showed that a strongly normalising term (i.e. one which does not admit infinite derivations) in the λ-calculus may lose this status in its ES-based implementation. This paper studies normalisation for the latter systems in the general setting of higher-order rewriting: Based on recent work extending the theory of needed strategies to non-orthogonal rewrite systems we show that needed strategies normalise in the ES-based implementation of any orthogonal pattern higher-order rewrite system. |
| 534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL |
|---|
| Encabezamiento principal del original |
International Conference on Foundations of Software Science and Computation Structures (FOSSACS), satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS). A.D. Gordon (Ed.): FOSSACS 2003, Lecture Notes in Computer Science (LNCS) 2620, pp. 153–168, April 2003. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LÓGICA COMPUTACIONAL |
| 9 (RLIN) |
250277 |
| 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 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
CÁLCULO LAMBDA |
| 9 (RLIN) |
253468 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href="www.springerlink.com/index/YCRAQYG4JTD500KK.pdf">www.springerlink.com/index/YCRAQYG4JTD500KK.pdf</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=53"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=53</a> |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Capítulo de libro |