Università di Pisa
Sistema bibliotecario di ateneo

Hard life with weak binders

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] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (432Kb)


    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