Nominal Unificaiton.

Christian Urban, Andrew M. Pitts, Murdoch Gabbay

Browse the full CSL paper archive.