Nominal Unification (2003)

by Christian Urban, Andrew M Pitts, Murdoch J Gabbay
Venue:In CSL