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
11 h 00 min - 12 h 30 min

TBA

Catégories



Retour en haut