Nominal Unification (2003)

by Christian Urban, Andrew Pitts, Murdoch Gabbay
Venue:Theoretical Computer Science