A Metalanguage for Programming with Bound Names Modulo Renaming.

Andrew M. Pitts, Murdoch Gabbay

Browse the full MPC paper archive.