Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

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

Jules Chouquet
IRIF, Université de Paris
https://www.irif.fr/~chouquet/

Date(s) : 27/09/2018   iCal
11h00 - 12h30

TBA

Catégories


Secured By miniOrange