and J.-J.Lévy. Explicit substitution (1989)

by M Abadi, L Cardelli, P-L Curien
Venue:In Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages