Explicit substitutions, journal of Functional Programming 1(4 (1991)

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