Combining de Bruijn indices and higher-order abstract syntax in Coq (2006)

by Venanzio Capretta, Amy P Felty
Venue:In TYPES