1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. Journal of Functional Programming 1(4), 375–416 (1991)
2. Lecture Notes in Artificial Intelligence;D. Baelde,2007
3. Lecture Notes in Computer Science;B. Barras,2000
4. Bierman, G.: On Intuitionistic Linear Logic. PhD thesis, University of Cambridge (1994)
5. Cervesato, I., de Paiva, V., Ritter, E.: Explicit Substitutions for Linear Logical Frameworks: Preliminary Results. In: Felty, A. (ed.) Workshop on Logical Frameworks and Meta-languages — LFM’99, Paris, France, September 28 (1999)