A Simpler Proof Theory for Nominal Logic.

James Cheney

Browse the full FOSSACS paper archive.