Permissive-nominal logic.

Gilles Dowek, Murdoch James Gabbay

Browse the full PPDP paper archive.