Séances2011-2012

De Wiki du Gdt Logique

Récapitulatif des séances 2011-2012 (voir aussi Sujets 2011-2012 :

  • Jeudi 22 mars 2012 : Marc Bagnol --- Catégories monoidales à trace
  • Jeudi 15 mars 2012 : Anne-Sophie De Suzzoni --- Un modèle de logique linéaire inspiré du transport optimal
  • Jeudi 1er mars 2012 : Anne-Sophie De Suzzoni --- Un modèle de logique linéaire inspiré du transport optimal
Outils personnels