Séminaire Logique et Interactions

Organisateur:	Lionel Vaux, (tél: +33 4 91 26 96 87)
Lieu:	I2M, site de Luminy Bâtiment TPR2, CNRS Salle de Séminaires: 3ème étage (304-306).
Horaire:	en général le jeudi à 11h

Pour vous inscrire à la liste de diffusion, contactez l’organisateur.

27 septembre 2018, 11:00 : Séminaire

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