Nominal unification (0)

by C Urban, A M Pitts, Murdoch J Gabbay
Venue:Computer Science Logic and 8th Kurt Gödel Colloquium (CSL’03 & KGC