Explicit substitutions (1996)

by M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy