Peter Nickolas;Peter J. Robinson
-;-
Nominal unification
Theoretical Computer Science
Nominal logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)