Groupe de travail Microtubule en action Date(s) : 26/03/2015 iCal14h00 - 16h00 TBA Webpage« >Webpage Catégories Groupe de travail Tags : Maths Bio Bar recursion, sémantique dénotationnelle et réalisabilité classique26 mars 2015Sur les preuves et les types dans la logique du second ordre27 mars 2015