1. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
2. Nominal logic, a first order theory of names and binding;Pitts;Inform. and Comput.,2003
3. Implementing nominal unification;Calvès;Electron. Notes Theor. Comput. Sci.,2007
4. (Nominal) unification by recursive descent with triangular substitutions;Kumar,2010
5. Completeness in PVS of a nominal unification algorithm;Ayala-Rincón;Electron. Notes Theor. Comput. Sci.,2016