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

by Stefan Berghofer, Christian Urban
Venue:Electronic Notes in Theoretical Computer Science 174 (2007