Exposés

11:00: Jules Chouquet (IRIF, Paris 7), Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves