Le 12 avril 2010, à 13h30 en salle D214 (attention à la salle inhabituelle !) le séminaire LCR accueille Daniel de Carvalho (LIPN).

Pour un certain fragment de la logique linéaire, la relation d’équivalence sur les preuves induite par l’élimination des coupures coïncide avec celle induite par le modèle relationnel basé sur les multi-ensembles.