Polarized models of Differential Linear Logic
Marie Kerjean
IRIF, Université de Paris
http://www.irif.fr/~kerjean/
Date(s) : 02/05/2019 iCal
11h00 - 12h30
TBA
Catégories
Marie Kerjean
IRIF, Université de Paris
http://www.irif.fr/~kerjean/
Date(s) : 02/05/2019 iCal
11h00 - 12h30
TBA
Catégories