S.: Nominal reasoning techniques in Coq (2007)

by B Aydemir, A Bohannon, Weirich
Venue:Electr. Notes Theor. Comput. Sci