A head-to-head comparison of de Bruijn indices and names (2006)

by Stefan Berghofer, Christian Urban
Venue:In Proceedings of the 1st International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice (LFMTP 2006), volume 147(5) of Electronic Notes in Theoretical Computer Science