Nominal Unification (2003)

by Christian Urban , Andrew Pitts , Murdoch Gabbay
Venue:Theoretical Computer Science
Citations:52 - 20 self