[Séminaire PPS] 10/12 A. Schmitt

Séminaire PPS

175 rue du Chevaleret, Paris 13ème.

Jeudi 10 Décembre, 11h salle 0D1 – Alan Schmitt (INRIA Grenoble),
[attention à la salle !]
Expressivity in higher order calculi