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

by Venanzio Capretta , Amy P. Felty
Venue:Proceedings of TYPES 2006, volume 4502 of Lecture Notes in Computer Science
Citations:12 - 2 self