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