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

by Andrew M Pitts
Venue:Information and Computation