Intégrales orbitales sur GL(N,Fq((t))) ... Date(s) : 26/04/2016 iCal14h00 - 15h00 ––Webpage« >Webpage– Catégories Pas de Catégories Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system26 avril 2016Annulé27 avril 2016