Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/134595
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Nominal unification from a higher-order perspective |
Autor: | Levy, Jordi CSIC ORCID ; Villaret, Mateu | Palabras clave: | Nominal unification Lambda calculus Higher-order pattern unification |
Fecha de publicación: | 2012 | Editor: | Association for Computing Machinery | Citación: | ACM Transactions on Computational Logic 13 (2), art. 10 (2012) | Resumen: | Nominal logic is an extension of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to lambda-terms, in nominal terms, bindable names, called atoms, and instantiable variables are considered as distinct entities. Moreover, atoms are capturable by instantiations, breaking a fundamental principle of the lambda-calculus. Despite these differences, nominal unification can be seen from a higher-order perspective. From this view, we show that nominal unification can be quadratically reduced to a particular fragment of higher-order unification problems: higher-order pattern unification. We also prove that the translation preserves most generality of unifiers. © 2012 ACM 1529-3785/2012/04-ART10 $10.00. | URI: | http://hdl.handle.net/10261/134595 | DOI: | 10.1145/2159531.2159532 | Identificadores: | doi: 10.1145/2159531.2159532 issn: 1529-3785 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
20
checked on 16-abr-2024
WEB OF SCIENCETM
Citations
11
checked on 29-feb-2024
Page view(s)
185
checked on 19-abr-2024
Download(s)
90
checked on 19-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.