1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. In: Proceedings of POPL 1990: the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 31–46 (1990)
2. Benaissa, Z.-E.-A., Briaud, D., Lescanne, P., Rouyer-Degli, J.: λν, a calculus of explicit substitutions which preserves strong normalisation. Journal of Functional Programming 6(5), 699–722 (1996)
3. Bloo, R.: Preservation of strong normalisation for explicit substitution. Computer Science Report 95-08, Eindhoven University of Technology (1995)
4. Bloo, R., Rose, K.H.: Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection. In: Proceedings of CSN 1995: Computer Science in the Netherlands (1995)
5. Lecture Notes in Computer Science;Y. Fu,1997