Keyword: yokouchi's lemma

• Subst: The confluence of Hardin-Lévy lambda-sigma-lift-calcul
  Amokrane Saïbi