1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. Journal of Functional Programming 1, 375–416 (1991)
2. Bloo, R., Rose, K.H.: Preservation of strong normalization in named lambda calculi with explicit substitution and garbage collection. In: CSN’95. Computer Science in the Netherlands, pp. 62–72 (1995)
3. Danos, V., Joinet, J.-B., Schellinx, H.: A new deconstructive logic: linear logic. The Journal of Symbolic Logic 62(2), 755–807 (1997)
4. Lecture Notes in Computer Science;J. Espírito Santo,2000
5. Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) the collected papers of Gerhard Gentzen, pp. 68–131. North-Holland, Amsterdam (1969)