Nominal logic, a first order theory of names and binding (0)

by A M PITTS
Venue:Information and Computation