RAPPEL Seminaire PPS: Marcelo Fiore, à 11h en salle 1D23

Bonjour,

Venez prendre café, thé et croissant a partir de 10h45 en salle 1D23, ensuite nous aurons le plaisir d'entendre:

Marcelo Fiore (Cambridge), en visite a PPS:

Algebraic Foundations for Type Theories

https://www.pps.jussieu.fr/seminaire/

Jean