Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels. (Explicit substitution calculi as a foundation of functional programming languages implementations). - Zine-Ei-Abidine Benaissa (1997)