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

by Andrew M. Pitts
Venue:Information and Computation
Citations:163 - 15 self