A Head-to-Head Comparison of de Bruijn Indices and Names (0)

by Stefan Berghofer, Christian Urban
Venue:In Proceedings of the International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP