Explicit Substitutions with de Bruijn’s Levels (1995)

by P Lescanne, J Rouyer-Degli
Venue:in Rewriting Techniques and Applications, 6th International Conference, Lecture Notes in Computer Science 914