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

by A M Pitts
Venue:Information and Computation