Flávio L. C. de Moura

Une étude sur le lemme de substitution dans le calcul des lambda avec substitutions explicites.