Closed nominal rewriting and efficiently computable nominal algebra equality

Maribel Fernández, Murdoch J. Gabbay

We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results,…