Explicit substitutions and programming languages (1999)

by J-J Lévy, L Maranget
Venue:in Foundations of Software Technology and Theoretical Computer Science, ser. LNCS