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 rela…