DMCA
Combining de Bruijn indices and higher-order abstract syntax in Coq (2006)
Cached
Download Links
- [www.cs.ru.nl]
- [cs.ru.nl]
- [www.cs.nott.ac.uk]
- [www.cs.kun.nl]
- [www.duplavis.com]
- [www.csi.uottawa.ca]
- [www.site.uottawa.ca]
- [www.site.uottawa.ca]
- DBLP
Other Repositories/Bibliography
by
Venanzio Capretta
,
Amy P. Felty
Venue: | Proceedings of TYPES 2006, volume 4502 of Lecture Notes in Computer Science |
Citations: | 16 - 2 self |