le séminaire PPS reprend après l'été,
le jeudi 23 Septembre, 11h, en salle 0C02
avec un séminaire de
Marco Gaboardi (Université de Bologne) :
Definability and Full abstraction for a Linear PCF
https://www.pps.jussieu.fr/seminaire/sem2010/abstracts/gaboardi
------------------------------------------------------
A suivre:
Jeudi 30 Septembre, 11h, en salle 0C02
Jean Krivine (PPS):
Understanding stochastic systems with non local causality analysis
Aucun commentaire:
Enregistrer un commentaire