Jules Chouquet
IRIF, Université de Paris
https://www.irif.fr/~chouquet/
Date(s) : 27/09/2018 iCal
11 h 00 min - 12 h 30 min
TBA
Catégories
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
