A simpler proof theory for nominal logic (2005)

by J Cheney
Venue:in: 8th International Conference on the Foundations of Software Science and Computational Structures (FOSSACS), Vol. 3441 of LNCS