Rapports
19/11/05 Colloque: Geometrie et Complexité: La Logiques et ses Images, ENS, Paris: Pierre Livet: Ontologie des trajets, trajets virtuels et opérateurs lineaires (last part) / discussion / Jean-Yves Girard: Logique et algèbres d'opérateurs / discussion