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

by Stefan Berghofer , Christian Urban
Venue:IN PROC. INT. WORKSHOP ON LOGICAL FRAMEWORKS AND METALANGUAGES: THEORY AND PRACTICE
Citations:12 - 1 self