Nominal logic and abstract syntax (2005)

by J Cheney
Venue:ACM SIGACT News, Logic Column