Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi and Zunino, Roberto (2008) Hard life with weak binders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
![[img]](http://eprints.adm.unipi.it/style/images/fileicons/other.png) | Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (432Kb) |
Official URL: http://compass2.di.unipi.it/TR/Files/TR-08-13.pdf....
Abstract
We introduce weak binders, a lightweight construct to deal with fresh names in nominal calculi. Weak binders do not define the scope of names as precisely as the standard nu-binders, yet they enjoy strong semantic properties.We provide them with a denotational semantics, an equational theory, and a trace inclusion preorder. Furthermore, we present a trace-preserving mapping between weak binders and nu-binders.
| Item Type: | Book |
|---|---|
| Uncontrolled Keywords: | Nominal calculi, variable binding, alpha-conversion, freshness |
| Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
| Depositing User: | dott.ssa Sandra Faita |
| Date Deposited: | 04 Dec 2014 14:12 |
| Last Modified: | 04 Dec 2014 14:12 |
| URI: | http://eprints.adm.unipi.it/id/eprint/2206 |
Repository staff only actions
| View Item |
