J.-J.Levy. Explicit substitutions (1991)

by M Abadi, L Cardelli, P-L Curien
Venue:Journal of Functional Programming