Nominal Logic: A First Order Theory of Names and Binding (2001)

by Andrew M. Pitts
Venue:Information and Computation