GDP Festschrift ENTCS, to appear Abstract Nominal Equational Logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
GDP Festschrift ENTCS, to appear Abstract Nominal Equational Logic
|
| Id. |
47139528 |
| Idioma |
inglés
|
| Titulo |
GDP Festschrift ENTCS, to appear Abstract Nominal Equational Logic |
| Autor(es) |
Ranald A. Clouston
Andrew M. Pitts
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.9615
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper studies the notion of “freshness ” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is an extension of ordinary equational logic with assertions about the freshness of names. It is shown to be both sound and complete for the support interpretation of freshness and equality provided by the Gabbay-Pitts nominal sets model of names, binding and α-conversion.
|
| Tipo |
application/pdf
|
| Palabras clave |
Equational logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cl.cam.ac.uk/users/ap/papers/nomel/nomel.pdf
[References] 10.1.1.36.865
[References] 10.1.1.5.9046
[References] 10.1.1.62.9845
[References] 10.1.1.11.7844
[References] 10.1.1.12.5995
[References] 10.1.1.23.7333
[References] 10.1.1.5.8273
[References] 10.1.1.85.518
[References] 10.1.1.5.5427
[References] 10.1.1.59.2224
[References] 10.1.1.65.8361
[References] 10.1.1.129.4320
[References] 10.1.1.31.2360
[References] 10.1.1.6.3767
[References] 10.1.1.67.8474
[References] 10.1.1.90.1644
[References] 10.1.1.59.6217
[References] 10.1.1.63.3391
|
| Fecha de contribución |
25-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
