A Sequent Calculus for Nominal Logic.

Murdoch Gabbay, James Cheney

Browse the full LICS paper archive.