Explicit substitutions and programming languages (1999)

by J Lévy, L Maranget
Venue:In Foundations of Software Technology and Theoretical Computer Science