Separation and Renaming in Nominal Sets.

Joshua Moerman, Jurriaan Rot

Browse the full CSL paper archive.