id: 70524860
dt: a
an: 70524860
au: Capretta, Venanzio; Felty, Amy P.
ti: Combining de Bruijn indices and higher-order abstract syntax in coq
so: TYPES, 63-77 (2006).
py: 2006
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-74464-1_5