Types inductifs stricts et paresseux, du point de vue de la logique linéaire
Thomas Ehrhard
PPS, Université Paris-Diderot
https://www.irif.fr/~ehrhard/
Date(s) : 19/03/2015 iCal
11h00 - 12h30
TBA
http://www.pps.univ-paris-diderot.fr/~ehrhard/
Catégories
