alpha - prolog : a logic programming language with names , binding and a - equivalence .
Abstract syntax and variable binding