Search

• < Previous
• 1
• Next >

---

From nominal to higher-order rewriting and back again

Jesús Domínguez ; Maribel Fernández.

We present a translation function from nominal rewriting systems (NRSs) to combinatory reduction systems (CRSs), transforming closed nominal rules and ground nominal terms to CRSs rules and terms, respectively, while preserving the rewriting relation. We also provide a reduction-preserving&nbsp;[&hellip;]

---

On Nominal Syntax and Permutation Fixed Points

Mauricio Ayala-Rincón ; Maribel Fernández ; Daniele Nantes-Sobrinho.

We propose a new axiomatisation of the alpha-equivalence relation for nominal terms, based on a primitive notion of fixed-point constraint. We show that the standard freshness relation between atoms and terms can be derived from the more primitive notion of permutation fixed-point, and use this&nbsp;[&hellip;]

---