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

by A M Pitts
Venue:Information and Computation