Nominal reasoning techniques in Coq (2006)

by Brian Aydemir, Aaron Bohannon, Stephanie Weirich
Venue:In International Workshop on Logical Frameworks and Meta-Languages:Theory and Practice (LFMTP