Nominal logic and abstract syntax (0)

by James Cheney
Venue:SIGACT News (logic column