Denis Kuperberg Chercheur CNRS au sein de l'équipe PLUME du Laboratoire de l'Informatique du Parallélisme (LIP) de l'ENS Lyon. Langages, programmation & logiciel Site internet Ses articles ( 1 article publié ) ArticleLangages, programmation & logiciel Les preuves circulaires : une récurrence sans fin ? Denis Kuperberg 08/10/2026 Niveau avancé Niveau 3 : Avancé Les preuves circulaires : une récurrence sans fin ? Denis Kuperberg Lire l’article Voir tous les auteurs
