Nominal system T (2010)

by Andrew M Pitts
Venue:Proceedings of the 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2010), ACM