A Sequent Calculus for Nominal Logic (2004)

by M J Gabbay, J Cheney
Venue:Proc. 19th IEEE Symposium on Logic in Computer Science (LICS’04