Nominal Renaming Sets.

Murdoch James Gabbay, Martin Hofmann

Browse the full LPAR paper archive.