A sequent calculus for nominal logic (2004)

by Murdoch J Gabbay, J Cheney
Venue:In Proc. 19th IEEE Symposium on Logic in Computer Science (LICS 2004