## Nominal algebra (2006)

Citations: | 7 - 2 self |

### BibTeX

@TECHREPORT{Gabbay06nominalalgebra,

author = {Murdoch J. Gabbay and Aad Mathijssen},

title = { Nominal algebra},

institution = {},

year = {2006}

}

### Years of Citing Articles

### OpenURL

### Abstract

Nominal terms are a term-language used to accurately and expressively represent systems with binding. We present Nominal Algebra (NA), a theory of algebraic equality on nominal terms. Built-in support for binding in the presence of meta-variables allows NA to closely mirror informal mathematical usage and notation, where expressions such as λa.t or ∀a.φ are common, in which meta-variables t and φ explicitly occur in the scope of a variable a. We describe the syntax and semantics of NA, and provide a sound and complete proof system for it. We also give some examples of axioms; other work has considered sets of axioms of particular interest in some detail.