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

by A M Pitts
Venue:Inform. and Comput