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

by Stefan Berghofer , Christian Urban , Technische Universität München
Venue:In Proc. Int. Workshop on Logical Frameworks and MetaLanguages: Theory and Practice
Citations:12 - 1 self